“图灵机”不是一种具体的机器,而是一种思想模型,可制造一种十分简单但运算能力极强的计算装置,用来计算所有能想象得到的可计算函数。[12]基本思想是用机器来模拟人们用纸笔进行数学运算的过程。
图灵机的组成:
一条存储带-双向无限延长 上有一个个小方格 每个小方格可存储一个数字/ 字母
一个控制器-可以存储当前自身的状态; 包含一个读写头,可以读、 写、更改存储带上每一格的 数字/字母 可以根据读到的字母/数字变 换自身的状态 可以沿着存储带一格一格地 左移/右移
图灵机的工作步骤:
1. 准备:
(1)存储带上符号初始化;
(2)控制器设置好自身当前状态;
(3)读写头置于起始位置;
(4)准备好工作程序;
2. 反复执行以下工作直到停机:
(1)读写头读出存储带上当前方格中 的字母/数字;
(2)根据 自身当前状态 和 所读到的 字符,找到相应的程序语句;
(3)根据 相应程序语句,做三个动作:
① 在当前存储带方格上写入一个相 应的字母/数字;
② 变更自身状态至新状态;
③ 读写头向左或向右移一步;