计算的模型:图灵机与Petri网

• 作者: 宋文 牟行军
• 来源期刊: 西华大学学报（自然科学版）
• 学科: 工学
• 关键词: 计算模型 图灵机 Petri网 计算 模型
• 年，卷（期）: 2012,（3）
• 所属期刊栏目: 计算机软件理论、技术与应用
• 页码范围: 1-6
• 分类号: TP301.6
• 字数: 6452字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-159X.2012.03.001

摘要

形式化的软件开发方法是建立在严格数学基础上的,其目标是通过严格的分析、验证发现软件设计及开发过程中的模糊性和不完备性,以达到对软件质量的有效控制.Petri网是形式化软件开发的一种很好的描述工具,它在描述异步并发的环境、模型验证等方面有着独到之处；图灵机是迄今为止计算能力最强的计算模型,在理论层面上有着其他模型不可替代的重要作用,它深刻地刻画了物理世界的可识别与可判定2个重要的概念.文章给出了这2种计算模型的一些基本概念、结论以及解决问题的主要方法.最后,用交通管理系统为例说明形式化方法的运用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宋文	西华大学数学与计算机学院	35	113	6.0	9.0
2	牟行军	西华大学数学与计算机学院	8	28	4.0	5.0