教学演示软件--演示影响人类的一百个重要的模型(六)
计算机的图灵机模型
模型源起于古代人们对自动化计算的孜孜不倦的追求,巴
贝奇的差分机是探索的重要一部分,直到图灵机模型问世
才打开了通用性的自动化计算的大门。
图灵机模型描述:重要概念有内部状态,纸带存储,控制
指令。图灵描述自动计算装置代替纸笔手算,使用读写的笔头,
读或写纸带格子上的字符,笔头在纸带上前后移动。并且他数学化地
证明这种自动计算装置可以执行通用化的计算任务。数学化的模型为输入集合,输出
集合,状态集合,控制指令集合的四元组。语言学家乔姆斯基后
来证明图灵机是0型语法的硬件模型,有限状态自动机是3型语法的硬件模型。
即有限状态自动机是图灵机的一个特例。
教学演示软件要演示出图灵机模型计算的过程,还有图灵机模型与冯诺依曼
体系结构的现代化电子计算机的理论指导实践的密切关系。