摘要：
M接受的字符串的集合称为M的语言，或被M识别的语言，记为L（M）。如果一个语言能被某一图灵机识别，则称该语言是图灵可识别的。在输入上运行一个TM时，可能产生三种结果：接受，拒绝或循环(这里的循环仅仅指机器不停机）对所有输入都停机的图灵机，即永不循环，这种机器叫判定器（为什么叫判定器？因为它们总能决定是接受还是拒绝），同时也称识别某语言的判定器判定该语言。如果一个语言能被某一个图灵机判定，则称它是图灵可判定的，简称可判定的。每一个多带图灵机都等价于某一个单带图灵机。每一个非确定性图灵机都等价于某一个确定型图灵机。确定型单带图灵机在多项式时间内可以判定的语言类叫P类.多项式时间可验证机的语言类叫N 阅读全文
摘要：
图灵机是图灵为了研究可计算问题而构思的一个理论装置，你只要想一想有限状态机就可以大概知道图灵机是个什么概念了，只不过图灵机的内存（纸带）是潜无穷的（也就是可以任意长啦，“潜无穷”是古稀蜡人的说辞）。图灵机的定义形象的说来就像老式的电传机：一个读写头，一根纸带（可能任意长），读写头不断读取纸带上的符号，并根据内在的状态转换规则转换当前状态，同时进行一些动作，譬如插除或改写当前字符，向前/向后移动读写头或保持不动等。至于其抽象的定义大抵就是有限状态机的定义了。图灵机的这一定义现在我们看起来似乎是很显然的，然而当时却代表着一种思想上的革命，一种从无到有。图灵机实质上抽象出了我们平素进行机械式计算的. 阅读全文