圖灵机.pptVIP

§5.3 图灵机 为将算法形式化，必须确定一计算模型。 我们使用的是确定型单带图灵机(简称 DTM)。 一个确定型单带图灵机由以下三个部分组成(见下页图)： ·状态控制器 ·读写头 ·无限长的带子，带子划成小格，格子标记 … , －3，－2，－1，0，1，2, 3，… 更形式地说，DTM由七个元素组成： 1. 有限集合Γ ，由出现在带上的符号组成 2．∑，为Γ的子集，由输入符号组成 3．特殊符号? ，表示空白，? ∈ (Γ - ∑) 4．有限集合Q，由DTM的状态组成 5．起始状态qo ∈ Q 6．两个终止状态qY及qN ，均属于Q 7．状态转换函数 δ: (Q - {qY,qN}) × Γ → Q × Γ×{ - 1，+1} DTM的运行很直观简单。设DTM的输入为字符串x∈ ∑*， 各符号依次排列在带的第1格至第|x|格， 所有其它格子为? (空白)。 开始时读写头正对第1格， DTM的状态为qo ， DTM的运行以“步”为单位。设当前状态为q(既不是qY，也不是qN )， 读写头正对的(正扫描的)格子中的字符为s， 令δ(q，s)＝(q′，s′，Δ) 令 δ(q，s)＝(q′，s′，Δ) 则读写头于正对着的格子上用字符s′替代s(字符s不复存