枚举器_图灵机的一种变种

枚举器

图灵机的一种变种

枚举器是图灵机的一种变种。它和图灵机的工作原理类似，但它不需要接受输入，一旦开始运行后就不停地在纸带上打印出一个一个的字符串。可以把它看作是一种带打印机的图灵机。枚举器E所打印出的字符串的集合称为该枚举器的语言，记作L(E)。

简介

注意：

图灵机

图灵机（英语：Turing machine），又称确定型图灵机，是英国数学家艾伦·图灵于1936年提出的一种抽象计算模型，其更抽象的意义为一种数学逻辑机，可以看作等价于任何有限逻辑数学过程的终极强大逻辑机器。

图灵的基本思想是用机器来模拟人们用纸笔进行数学运算的过程，他把这样的过程看作下列两种简单的动作：

而在每个阶段，人要决定下一步的动作，依赖于（a）此人当前所关注的纸上某个位置的符号和（b）此人当前思维的状态。

参见

参考资料

最新修订时间：2022-01-12 21:01

条目作者

概述

简介

图灵机

参考资料