📜  多带图灵机

📅  最后修改于: 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机器。