📜  半无限图灵机

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


具有半无限胶带的图灵机具有左端,但是没有右端。左端用结束标记限制。

半无限胶带

这是两轨磁带-

  • 上轨道-它代表初始头部位置右侧的单元格。

  • 下部轨道-以相反的顺序代表初始头部位置左侧的单元格。

无限长的输入字符串最初写入连续的磁带单元中的磁带上。

机器从初始状态q 0开始,头部从左端标记“ End”开始扫描。在每个步骤中,它都会读取磁头下方磁带上的符号。它在该磁带单元上写入一个新符号,然后将磁头移动到一个磁带单元的左侧或右侧。过渡函数确定要采取的措施。

它有两个特殊状态,分别称为接受状态拒绝状态。如果在任何时间点进入接受状态,则表示输入被接受;如果进入拒绝状态,则输入被TM拒绝。在某些情况下,它会继续无限运行,而不会被某些输入符号接受或拒绝。

–具有半无限条带的图灵机等效于标准图灵机。