【形式语言与自动机】图灵机

【形式语言与自动机】图灵机


一、图灵机

在经过有限状态机的介绍之后,再来看一种功能更强大的机器。

图灵机基本结构

                                                     

〉 一条分格无限长纸带,每格可容纳一个字符
〉 一个读写头,可以在纸带上移动(可以双向移动,之前的有限状态机只能单向移动读出当前格子的字符,重写格子上的内容,改变自己的内部状态。所以它可以做三件事情,自身的状态,可双向移动、可读可写。
〉 一系列关于读写头动作的规则(或者称为程序状态转移函数

输入、计算和输出

纸带上的内容(包括空白 B)是计算前的输入和计算完成后的输出。输入输出在同一条纸带
〉 计算从读写头的初始状态 s0、初始位置输入的纸带格局开始
〉 按照规则进行读写头的

你可能感兴趣的:(#,计算数学与数学理论,停机问题,哥德尔编码,哥德尔不完备定理,图灵机,离散数学)