【发布时间】：2016-02-23 08:08:46
【问题描述】：
所以我尝试搜索语言的精确定义，但所有文章都假设该定义对每个人都是显而易见的。显然，对我来说不是。 图灵机语言的定义是什么？
【问题讨论】：
-
这可能最好在 Computer Science.SE 或 Theoretical Computer Science.SE 上提出。
标签： turing-machines
【发布时间】：2016-02-23 08:08:46
【问题描述】：
当你运行一个 TM 时，你给它一个字符串作为输入。然后，TM 将接受字符串、拒绝字符串或在机器上循环。 TM 的语言定义为它接受的所有字符串的集合。
并非每种语言都是图灵机的语言 - 这是理论计算机科学的里程碑式成果之一。作为图灵机语言的语言有很多名称 - 它们是图灵可识别语言、半可判定语言和递归可枚举语言。您会看到根据上下文使用的所有这些术语。
【讨论】：
艾伦·图灵写了一篇论文，描述了专门用于计算的离散自动机（在多个离散时间块上运行一系列命令的东西）的抽象概念实现。图灵抽象模型是一个简单的磁带和一个可以读写该磁带的磁头的模型。您可以发出命令来前后移动磁头（这些命令也可以从同一磁带写入和读取）。
这是“图灵机”。
这个简单的抽象模型（无论您是用“磁带”还是“磁头”来看待它）结果证明是非常强大的，因为现代计算机的功能可以通过这种抽象表示来描述/建模。
在一个侧面节点上，为了好玩和实验，一些人创造了接近磁带和头部原始描述的“图灵机”的文字实现，就像乐高积木一样疯狂：https://www.youtube.com/watch?v=cYw2ewoO6c4 有趣的概念是，这太疯狂了简单的创建可以完成最好的超级计算机可以完成的所有事情（但可能需要更多的时间和积木）
【讨论】：