单项选择题

A.离散数学
B.程序设计语言理论
C.形式语言与自动机理论
D.大学物理