什么是图灵机语言？
What is Turing machine language?
所以我尝试搜索语言的准确定义，但所有文章都假定该定义对每个人都是显而易见的。显然，对我来说不是。
图灵机语言的定义是什么？
当你 运行 一个 TM 时，你给它一个字符串作为输入。然后 TM 将接受字符串、拒绝字符串或在机器上循环。 TM 的语言定义为其接受的所有字符串的集合。
并非每种语言都是图灵机的语言 - 这是理论计算机科学的里程碑式成果之一。作为图灵机语言的语言有很多名称 - 它们是 Turing-recognizable 语言、semi-decidable 语言，以及递归可枚举语言。您会看到根据上下文使用的所有这些术语。
Alan turing 写了一篇论文，描述了离散自动机（在多个离散时间块上运行一系列命令的东西）的抽象概念实现，专门用于计算。图灵抽象模型是一个简单的磁带和一个可以读写该磁带的磁头。您可以发出命令来前后移动磁头（也可以从同一磁带写入和读取这些命令）。
这是'Turing Machine'。
这个简单的抽象模型（无论您用 'tapes' 和 'heads' 的术语来考虑它）结果证明非常强大，因为现代计算机的功能可以 described/modeled这种抽象表示。
在一个侧面节点上，为了好玩和实验，一些人已经创建了接近磁带和头的文字实现 'Turing machine' 像乐高一样疯狂的东西：https://www.youtube.com/watch?v=cYw2ewoO6c4 有趣的概念是这个极其简单的创造可以完成最好的超级计算机可以实现的一切（但可能需要更多的时间和乐高积木）
所以我尝试搜索语言的准确定义，但所有文章都假定该定义对每个人都是显而易见的。显然，对我来说不是。 图灵机语言的定义是什么？
当你 运行 一个 TM 时，你给它一个字符串作为输入。然后 TM 将接受字符串、拒绝字符串或在机器上循环。 TM 的语言定义为其接受的所有字符串的集合。
并非每种语言都是图灵机的语言 - 这是理论计算机科学的里程碑式成果之一。作为图灵机语言的语言有很多名称 - 它们是 Turing-recognizable 语言、semi-decidable 语言，以及递归可枚举语言。您会看到根据上下文使用的所有这些术语。
Alan turing 写了一篇论文，描述了离散自动机（在多个离散时间块上运行一系列命令的东西）的抽象概念实现，专门用于计算。图灵抽象模型是一个简单的磁带和一个可以读写该磁带的磁头。您可以发出命令来前后移动磁头（也可以从同一磁带写入和读取这些命令）。
这是'Turing Machine'。
这个简单的抽象模型（无论您用 'tapes' 和 'heads' 的术语来考虑它）结果证明非常强大，因为现代计算机的功能可以 described/modeled这种抽象表示。
在一个侧面节点上，为了好玩和实验，一些人已经创建了接近磁带和头的文字实现 'Turing machine' 像乐高一样疯狂的东西：https://www.youtube.com/watch?v=cYw2ewoO6c4 有趣的概念是这个极其简单的创造可以完成最好的超级计算机可以实现的一切（但可能需要更多的时间和乐高积木）