📅  最后修改于: 2020-11-26 10:23:51             🧑  作者: Mango
多带图灵机有多个带,每个带都有一个单独的磁头。每个头可以独立于其他头移动。最初,输入在磁带1上,其他输入为空白。首先,第一个磁带被输入占用,而其他磁带则保持空白。接下来,机器读取磁头下方的连续符号,TM则在每个磁带上打印一个符号并移动磁头。
多带图灵机可以正式描述为6元组(Q,X,B,δ,q 0和F),其中-
Q是一组有限的状态
X是磁带字母
B是空白符号
δ是关于状态和符号的关系,其中
δ:Q×X k →Q×(X×{左移,右移,无移}) k
磁带数量为k
q 0是初始状态
F是最终状态集
注意-每台Multi-tape Turing机器都有一个等效的Single-tape Turing机器。