本文详细介绍了图灵机的构成，包括无限长的纸带、读写头、控制规则和状态寄存器。图灵机通过七元组形式正确定义，阐述了其运作机制和解决问题的能力。图灵机与现代计算机之间的等价关系被指出，强调了图灵机在解决有算法问题上的普适性。此外，文章还提及了著名的图灵停机问题，它是不可判定的，为研究其他不可判定问题奠定了基础。
图灵机模型与计算机（一）
一、图灵机的构成
1、一条无限长的纸带（tape）。纸带被划分为一个接一个的小格子，每个格子上包含一个来自有限字幕的符号，字母表中有一个特殊的符号，就是一个空格，它表示空白。纸带上的格子从左到右依次被编号为0，1，2...，右端无限延伸。
2、一个读写头（head）可以在纸带上左右移动，它能读出当前所指的格子上的符号，并能改变当前格子上的符号。
3、一套控制规则（table），它根据当前机器所处的状态以及当前读写头所指的格子上的符号来确定读写头下一步的动作，并改变状态寄存器的值，令机器进入一个新的状态。
4、一个状态寄存器，用来保存图灵机当前所处的状态。图灵机的所有可能的状态的数目是有限的，并且有一个特殊的状态，成为“停机状态”。
二、图灵机的正定式定义
一台图灵机是一个七元组
，其中
都是有限集合，且满足
是状态集合；
是输入字母表，其中不包含特殊的空白符
；
为空白符；
是带字母表，其中
最低0.47元/天 解锁文章
扫一扫
1284
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
