Automata Theory 简明教程
Multi-tape Turing Machine
多磁带图灵机有多个磁带,每个磁带都通过一个单独的磁头进行访问。每个磁头可以独立于其他磁头移动。最初输入在磁带 1 上,其他磁带为空。一开始,第一磁带被输入占据,其他磁带保持空白。接下来,机器读取其磁头下的连续符号,TM 在每个磁带上打印一个符号并移动其磁头。
多磁带图灵机可正式描述为 6 元组 (Q, X, B, δ, q0, F),其中 -
-
Q 是有限状态集
-
X 是磁带字母表
-
B 是空白符号
-
δ 是状态和符号之间的关系,其中δ: Q × Xk → Q × (X × {左移,右移,不移动})k,其中有 k 个磁带
-
q0 是初始状态
-
F 是结束状态的集合
Note - 每个多磁带图灵机都有一个等效的单磁带图灵机。