第7章 图灵机
图灵机的基本模型
Def 7.1：一个确定的、单带图灵机（TM）是一个九元组 M = ( Q , Σ , Γ , ⊢ , └ ┘ , δ , s , t , r ) M=(Q,\Sigma,\Gamma,\vdash,\llcorner\!\lrcorner,\delta,s,t,r) M=(Q,Σ,Γ,⊢,└┘,δ,s,t,r) ，其中：
- Q Q Q 是有穷状态集；
- Σ \Sigma Σ 是有穷的输入字母表（本来在带上的输入字母表）；
- Γ \Gamma Γ 是有穷的带字母表（可以出现在带上的字母表）；
- ⊢ ∈ Γ − Σ \vdash{\in}\Gamma-\Sigma ⊢∈Γ−Σ ，是左端标记；
- └ ┘ ∈ Γ − Σ \llcorner\!\lrcorner{\in}\Gamma-\Sigma └┘∈Γ−Σ ，是空白符号；
- δ \delta δ 是转移函数， δ : Q × Γ → Q × Γ × { L , R } \delta:Q\times\Gamma\to Q\times\Gamma\times\{L,R\} δ:Q×Γ→Q×Γ×{L,R}
- s ∈ Q s\in Q s∈Q ，是开始状态；
- t ∈ Q t\in Q t∈Q ，是接收状态；
- r ∈ Q r\in Q r∈Q ，是拒绝状态
Def 7.2：若一个 TM M M M 对任意输入都能停机，则称此 TM M M M 是完全的：
- 被 TM M M M 接受的语言 L ( M ) L(M) L(M) 称为 递归可枚举集 （ r . e . r.e. r.e. ）
- 被完全的 TM M M M 接受的语言 L ( M ) L(M) L(M) 称为 递归集
图灵机的构造技术
- 有限控制器中的存储
- 移动
- 多道技术
- 查讫符号
- 子程序技术
（最有用的是子程序技术，是一种思想，要保证结束子程序时读写头回到进入子程序时的位置）
图灵机的变形
- 双向无限带
- 多带
- 非确定的图灵机
- 双栈机（ PDA 是单栈机，由此可见 TM 比 PDA 的接受能力更强）
- 带字母最少的图灵机（所有符号都用等长二进制描述）
- 作为枚举器的图灵机
（这些变形并没有增大图灵机的接受能力，但是时间复杂度和空间复杂度可能会发生变化）
图灵机与 0 型文法
TM 就是对应 0 型文法，具体证明不写啦~
1137
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
