计算理论是研究用计算机解决计算问题的数学理论，有3个核心领域，但不包括（）
A、抽象理论
B、计算的复杂性理论
C、自动机理论
D、可计算性理论
下面哪个不是单词的描述工具？（）
A、正规式
B、有穷自动机
C、下推自动机
D、正规文法
