Matin D . Davis , Computability, Complexity, and Languages, Academic Press, 1983.
《可计算性 、 复杂性和语言》, 清华大学出版社,北京, 1989.
互联网
A more extensive and theoretical treatment of the material in 18.400 J, Automata , Computability, and Complexity computabilitytheory.
本课程比18.400J[自动机, 可计算性和复杂性]涉及面更广、更理论化.
互联网
For a more advanced graduate course, computability theory and computational complexity theory are also covered.
高级课程中还包括了可计算理论和计算复杂性理论.
互联网