所以我尝试搜索语言的精确定义,但所有文章都假设这个定义对每个人都很明显。显然,对我而言,事实并非如此。 图灵机器语言的定义是什么?
答案 0 :(得分:4)
运行TM时,将其作为输入字符串。然后,TM将接受字符串,拒绝字符串或在机器上循环。 TM的语言被定义为它接受的所有字符串的集合。
并非每种语言都是图灵机的语言 - 这是理论计算机科学的一个里程碑式的结果。作为图灵机语言的语言有很多名称 - 它们是图灵可识别语言,半可判定语言,以及递归可枚举语言。您将看到所有这些术语的使用取决于上下文。
答案 1 :(得分:2)
Alan turing写了一篇论文,描述了离散自动机的抽象概念实现(在一些离散时间块上运行一系列命令),专门用于计算。图灵抽象模型是一个简单的磁带和一个可以读写该磁带的磁头。您可以发出命令来回移动磁头(这些命令也可以从同一磁带写入和读取)。
这是'图灵机'。
这个简单的抽象模型(无论你是用'tapes'和'heads'来表达它)都证明是非常强大的,因为现代计算机的功能可以通过这种抽象表示来描述/建模。
在侧节点上,为了好玩和实验,一些人创建了靠近磁带和放大器的文字实现。最初的描述'图灵机'的东西像疯了似的:https://www.youtube.com/watch?v=cYw2ewoO6c4有趣的概念是,这种疯狂简单的创作可以做到最好的超级计算机可以做到的一切(但可能需要更多的时间和精力)