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

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

一、图灵机

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

图灵机基本结构

                                                     

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

输入、计算和输出

〉 纸带上的内容（包括空白 B）是计算前的输入和计算完成后的输出。输入输出在同一条纸带
〉 计算从读写头的初始状态 s0、初始位置和输入的纸