📜  多轨图灵机

📅  最后修改于: 2020-11-26 10:24:16             🧑  作者: Mango


多磁道图灵机是多磁带图灵机的一种特定类型,它包含多个磁道,但是在所有磁道上只有一个磁头读写。在此,单个磁带头一步就可以从n个磁道中读取n个符号。它接受递归可枚举的语言,例如普通的单轨单带Turing Machine接受的语言。

多轨图灵机可以正式描述为6元组(Q,X,∑,δ,q 0和F),其中-

  • Q是一组有限的状态

  • X是磁带字母

  • 是输入字母

  • δ是关于状态和符号的关系,其中

    δ(Q i ,[a 1 ,a 2 ,a 3 ,….])=(Q j ,[b 1 ,b 2 ,b 3 ,….],左移或右移)

  • q 0是初始状态

  • F是最终状态集

-对于每个单轨道图灵机S ,都有一个等效的多轨道图灵机M ,使得L(S)= L(M)