研究运用计算机解决问题的数学理论,称之为计算理论,它包括可计算性理论( )和自动机理论.   　　A、抽象理论 　　B、规范化理论 　　C、计算的复杂性理论 　　D、形式化理论 ...