更新时间:2022-01-12 21:01
枚举器是图灵机的一种变种。它和图灵机的工作原理类似,但它不需要接受输入,一旦开始运行后就不停地在纸带上打印出一个一个的字符串。可以把它看作是一种带打印机的图灵机。枚举器E所打印出的字符串的集合称为该枚举器的语言,记作L(E)。
注意:
图灵机(英语:Turing machine),又称确定型图灵机,是英国数学家艾伦·图灵于1936年提出的一种抽象计算模型,其更抽象的意义为一种数学逻辑机,可以看作等价于任何有限逻辑数学过程的终极强大逻辑机器。
图灵的基本思想是用机器来模拟人们用纸笔进行数学运算的过程,他把这样的过程看作下列两种简单的动作:
而在每个阶段,人要决定下一步的动作,依赖于(a)此人当前所关注的纸上某个位置的符号和(b)此人当前思维的状态。