关于图灵机的几个概念

M接受的字符串的集合称为M的语言，或被M识别的语言，记为L（M）。

如果一个语言能被某一图灵机识别，则称该语言是图灵可识别的。

在输入上运行一个TM时，可能产生三种结果：接受，拒绝或循环(这里的循环仅仅指机器不停机）

对所有输入都停机的图灵机，即永不循环，这种机器叫判定器（为什么叫判定器？因为它们总能决定是接受还是拒绝），同时也称识别某语言的判定器判定该语言。

如果一个语言能被某一个图灵机判定，则称它是图灵可判定的，简称可判定的。

每一个多带图灵机都等价于某一个单带图灵机。

每一个非确定性图灵机都等价于某一个确定型图灵机。

确定型单带图灵机在多项式时间内可以判定的语言类叫P类.

多项式时间可验证机的语言类叫NP类。

P=成员资格可以快速地判定的语言类；

NP=成员可以快速地验证的语言类；

如果一个语言B满足B是属于NP的，且NP中的每个A都可以多项式时间规约到B，则语言B是NP完全的；