超级会员免费看
本文介绍了图灵机的基本结构和计算规则，强调了其在形式语言与自动机中的重要性。讨论了图灵机的停机问题，解释了为何不存在一个通用算法来判定任意图灵机在特定输入下是否会停机。此外，还提到了哥德尔编码和哥德尔不完备定理，指出某些问题在理论上是不可判定的。
【形式语言与自动机】图灵机
一、图灵机
在经过有限状态机的介绍之后，再来看一种功能更强大的机器。
图灵机基本结构
〉 一条分格的无限长的纸带，每格可容纳一个字符
〉 一个读写头，可以在纸带上移动（可以双向移动，之前的有限状态机只能单向移动），读出当前格子的字符，重写格子上的内容，改变自己的内部状态。所以它可以做三件事情，自身的状态，可双向移动、可读可写。
〉 一系列关于读写头动作的规则（或者称为程序、状态转移函数）
输入、计算和输出<
订阅专栏 解锁全文
扫一扫
853
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
