计算理论图灵机研究.pptxVIP

第1页/共67页Overview图灵机（Turing Machine，TM），是计算机的一种简单的数学模型。历史上，冯?诺曼计算机的产生就是由图灵机诱发的。丘奇—图灵论题：一切合理的计算模型都等同于图灵机.第2页/共67页类型 文 法 结 构 产 生 式 形 式 限 制 条 件 0短语结构文法α→β α∈Ｖ+,β∈Ｖ* Phrase Structure 上下文有关文法α1Aα2→α1βα2|α1βα2|≥|α1Aα2| 1 Context Sensitive α1，α2∈Ｖ* （CSG ）A∈ＶＮ , β∈Ｖ+ 上下文无关文法A→α A∈ＶＮ,α∈Ｖ*2 Context Free （CFG） 正 右线性文法A→xB，C→y A,B,C∈ＶＮ 3 规 文 左线性文法A→Bx，C→y x,y∈ＶT* 法第3页/共67页Overview 0型语言———图灵机 1型语言(CSL) ———线性界限自动机 2型语言(CFL) ———下推自动机 3型语言(正规集)——有