中图法分类号（计算机，自动化）

T　工业技术 　TP　自动化技术、计算机技术 　　TP3　计算技术、计算机技术　　　TP3-0　计算机理论与方法　　　　TP3-05　计算机与其余学科的关系　　　TP30　通常性问题　　　　TP301　理论、方法　　　　　TP301.1　自动机理论　　　　　TP301.2　形式语言理论　　　　　TP301.4　可计算性理论　　　　　TP301.5　计算复杂性理论　　　　　TP301.6　算法理论　

>>阅读原文<<