单项选择题

在高级语言中,“形式语言与自动机理论”一般被划分到以下哪种形态?()

A.抽象
B.理论
C.设计
D.不能划分