北京邮电大学形式语言与自动机 修改型图灵机.pptVIP

fall 2001 *School of Computer Science Technology, BUPT 对基本图灵机的扩展 多带图灵机（Multitape Turing Machines） 双向无限带图灵机 5.3 修改型图灵机 基本图灵机是计算的一种通用模型，对它进行某些修改，会得出更复杂的图灵机。 从可计算性角度来讲，能够证明这些图灵机和基本图灵机是等价的。 具有双向无限带的图灵机 带头（tape head） 带（tape） 单元格（cell） 空白（blank）带符 带符（tape symbol） 双向无穷带的图灵机与基本图灵机的等价 可以用一个双道的单向无穷带图灵机M1模拟具有双向无穷带的基本图灵机M. 当M的读写头从初始位置右移时，M1用上道模拟M 当M的读写头从初始位置左移时，M1用下道模拟M M1的初始单元：[X0,￥],￥表示输入带最左单元。 M1的形式构造： Q1={[q,U],[q,D]│q∈Q}∪{q1} ∑1={[I,J],[I,￥] │I,J∈∑,￥?∑} T1={Xi , B} │ Xi ∈T} F1={[q,U],[q,D] │q∈F} ￥ 多带图灵机 多带图灵机由一个有限控制器，n个读写头和n条双向无限带组成。 一次动作： 控制器状态转变 每个读写头在扫到的单元重写一个字符 各读写头各自向左/右移动