单项选择题

A、抽象理论
B、计算的复杂性理论
C、自动机理论
D、可计算性理论