多带图灵机模型

多带图灵机模型示是计算复杂性理论中常用的一种计算模型，它是简单图灵机的一种扩展。

• 中文名 多带图灵机模型
• 外文名 multitape Turing machine model
• 性质 计算模型
• 组成 一个有穷控制器、一条输入带等

工作原理

来自　　每条带上有一个读写头与有穷控制器相连。每条带都被分成一个个的方格，在每个方格上可以写下一个字母，这些字母均取自一个字母表∑。有穷控制器在任何时候都处在某个状态q，而q属于某个有穷状态集合 Q。在任何一个时刻，360百科机器总是根据自己目前状态q∈Q以及它的输入带头和工作带头正在扫视κ+1个符号的情况来决定下面三个动作:①下一步应该转向Q中的哪个状态;②应该把当前扫视的κ条工作带和输出带上的符号分别改成什么符号(输入带史许上符号不改写);③把这 κ汉候微课光干始刚+2个带头各自向左还是向右移一格(也可以不动)。一个图灵机就是从上面两个条件到三个动作的一个具体规定。

编程原理

　　这个规定就是图灵机的程序，可以用列表的方法给出。开始时，机器处在一个特定的状态q0∈Q。原始数据是一个长进虽始弦确力械育示度为n的符号串,放在输入带上，输入带头指向该串的最左符号，其余各带全为空白。然后机器严何利导殖密光委卷格按规定(程序)一步步动作下去，一直到没有定义而停机。这时输出带上的内容即被认为是计算九外严型限乱增的结果。对于长度为n的输入,机器从开始到停机的总步数称为串行时走对别计剧抓好固因间;所用过的工作带上的方格数称为空间;从开始到停机各工作带头改变方向的总次数称为巡回。它们都是n的函数。