第二讲图灵机模型.pptVIP

2.2.1双向无穷带图灵机物理模型*第62页，共102页，星期日，2025年，2月5日2.2.1双向无穷带图灵机双向无穷带(Turingmachinewithtwo-wayinfinitetape)图灵机M=(Q,∑,Γ,δ,q0,B,F)Q,∑,Γ,δ,q0,B,F的意义同定义9-1。Ｍ的即时描述ID同定义９-2。允许M的读头处在输入串的最左端时，仍然可以向左移动。*第63页，共102页，星期日，2025年，2月5日2.2.1双向无穷带图灵机M的当前IDX1X2…Xi-1qXiXi+1…Xn如果δ(q,Xi)=(p,Y,R)当i≠1并且Y≠B时，M的下一个ID为 X1X2…Xi-1YpXi+1…Xn记作X1X2…Xi-1qXiXi+1…Xn├MX1X2…Xi-1YpXi+1…Xn表示M在IDX1X2…Xi-1qXiXi+1…Xn下，经过一次移动，将ID变成X1X2…Xi-1YpXi+1…Xn。*第64页，共102页，星期日，2025年，2月5日2.2.1双向无穷带图灵机当i=1并且Y=B时，M的下一个ID为pX2…Xn记作qX1X2…Xn├MpX2…Xn这就是说，和基本图灵机在读头右边全部是B时，这些B不在ID中出现一样，当双向无穷带图灵机的读头左边全部是B时，这些B也不在该图灵机的ID中出现。*第65页，共102页，星期日，2025年，2月5日2.2.1双向无穷带图灵机如果δ(q,Xi)=(p,Y,L)当i≠1时，M的下一个ID为 X1X2…pXi-1YXi+1…Xn记作X1X2…Xi-1qXiXi+1…Xn├MX1X2…pXi-1YXi+1…Xn表示M在IDX1X2…Xi-1qXiXi+1…n下，经过一次移动，将ID变成X1X2…pXi-1YXi+1…Xn。*第66页，共102页，星期日，2025年，2月5日2.2.1双向无穷带图灵机当i=1时，M的下一个ID为 pBYX2…Xn记作 qX1X2…Xn├MpBYX2…Xn表示M在IDqX1X2…Xn下，经过一次移动，将ID变成pBYX2…Xn。*第67页，共102页，星期日，2025年，2月5日2.2.1双向无穷带图灵机定理2-1对于任意一个双向无穷带图灵机M，存在一个等价的基本图灵机M′。证明要点：双向无穷存储的模拟：用一个具有2个道的基本TM来模拟：一个道存放M开始启动时读头所注视的带方格及其右边的所有带方格中存放的内容；另一个道按照相反的顺序存放开始启动时读头所注视的带方格左边的所有带方格中存放的内容。双向移动的模拟：在第1道上，移动的方向与原来的移动方向一致，在第2道上，移动的方向与原来的移动方向相反。*第68页，共102页，星期日，2025年，2月5日用单向无穷带模拟双向无穷带*第69页，共102页，星期日，2025年，2月5日2.2.2多带图灵机多带图灵机(multi-tapeturingmachine)允许图灵机有多个双向无穷带，每个带上有一个相互独立的读头。k带图灵机在一次移动中完成如下三个动作⑴改变当前状态；⑵各个读头在自己所注视的带方格上印刷一个希望的符号。⑶各个读头向各自希望的方向移动一个带方格。*第70页，共102页，星期日，2025年，2月5日2.2.2多带图灵机*第71页，共102页，星期日，2025年，2月5日2.2.2多带图灵机定理2-2多带图灵机与基本的图灵机等价。证明要点：对一个k带图灵机，用一条具有2k道的双向无穷带图灵机M′，实现对这个k带图灵机M的模拟。对应M的每一条带，M′用两个道来实现模拟。其中一条道用来存放对应的带的内容，另一条道专门用来标记对应带上的读头所在的位置。*第72页，共102页，星期日，2025年，2月5日移动函数?012XYZBq0(q0,X,R)???(q4,Y,R)??q1(q1,0,R)(q2,Y,R)??(q1,Y,R)??q2?(q2,1,R)(q3,Z,L)??(q2,Z,R)?q3(q3,0,L)(q3,1,L)?(q0,X,R)(q3,Y,L)(q3,Z,L)?q4????(q4,Y,R