Automata Theory 简明教程

Multi-tape Turing Machine

多磁带图灵机有多个磁带,每个磁带都通过一个单独的磁头进行访问。每个磁头可以独立于其他磁头移动。最初输入在磁带 1 上,其他磁带为空。一开始,第一磁带被输入占据,其他磁带保持空白。接下来,机器读取其磁头下的连续符号,TM 在每个磁带上打印一个符号并移动其磁头。

multi tape turing machine

多磁带图灵机可正式描述为 6 元组 (Q, X, B, δ, q0, F),其中 -

  1. Q 是有限状态集

  2. X 是磁带字母表

  3. B 是空白符号

  4. δ 是状态和符号之间的关系,其中δ: Q × Xk → Q × (X × {左移,右移,不移动})k,其中有 k 个磁带

  5. q0 是初始状态

  6. F 是结束状态的集合

Note - 每个多磁带图灵机都有一个等效的单磁带图灵机。