这个网站是由捐款支持的OEIS基金会.

图灵机器

来自OeisWiki
跳转到:航行,搜索


这篇文章的页面是一个存根,请扩展一下。


A图灵机(TM公司)理论计算机器是由阿兰图灵在1937年代表一个理想化的模型为一个给定的数学计算。

这台机器有一个有限的数n属于(活动)状态,通常有标签A,B,…,并在无限长的磁带上操作,在该磁带上每个位置都包含k不同的符号s. 在每个移动,机器在当前位置读取写在磁带上的符号,然后,根据读取的符号s现状和现状,

  1. 覆盖读取符号s用一个新的(可能是相同的)符号s+,
  2. 可能会在磁带上向左或向右移动其位置,编码为d+∈{左(-1)、右(+1)或无(0)},
  3. 切换到新的(可能相同的)活动状态问+,或停止状态它终止了它的操作。

因此,机器由其过渡表它将动作(s+,d+,q+)定义为(q,s)的函数。对于每个n×k可能性(,s),有k×D× (n+1)可能性(s+,d+,问+),与D=2或3,取决于是否允许d+=0(无)。因此,理论上有一个

(D k(n+(一)韩国

图灵机(n,k,D). 然而,并非所有这些都会表现出不同的行为。不仅仅是在启动时A在空白(全部为0)磁带上,这是通常的初始条件,但即使给定任意配置,不同的计算机也可能显示完全相同的行为。(例如,如果两个不同的状态指定了相同的操作(s+,d+,问+)对于所有可能的输入(,s),那么这些状态的标签显然可以被置换,并且仍然产生等价的图灵机。)

一般来说,给定的图灵机器是否会停止运行是不可判定的。忙碌的海狸问题关于这个的更多信息。

另请参见

外部链接