形式语言自动机
需积分: 4 80 浏览量
2014-06-09
20:58:39
上传
评论
收藏 559KB PPT 举报
1School of Computer Science & Technology, BUPT
第五章 图灵机
A.Turing 在 1936 年 介绍了这样一个通用的计算模型，
该模型具有以下两个性质
该模型的每个过程都是有穷可描述的；
过程必须是由离散的、可以机械执行的步骤组成。
图灵机是计算机的一种简单数字模型，尽管简单，但它具
有模拟通用计算机的计算能力。
通过研究 TM 来研究递归可枚举集和部分递归函数
为算法和可计算性研究提供了形式化描述工具。
剩余30页未读，继续阅读
资源评论
