| 计算的模型:图灵机与Petri网 |
| |
| 引用本文： | 宋文,牟行军. 计算的模型:图灵机与Petri网[J]. 西华大学学报(自然科学版), 2012, 31(3): 1-6 |
| |
| 作者姓名： | 宋文 牟行军 |
| |
| 作者单位： | 西华大学数学与计算机学院,四川成都,610039 |
| |
| 基金项目： | 四川省教育厅应用基础研究项目，西华大学计算机软件与理论重点学科建设 |
| |
| 摘 要： | 形式化的软件开发方法是建立在严格数学基础上的,其目标是通过严格的分析、验证发现软件设计及开发过程中的模糊性和不完备性,以达到对软件质量的有效控制。Petri网是形式化软件开发的一种很好的描述工具,它在描述异步并发的环境、模型验证等方面有着独到之处;图灵机是迄今为止计算能力最强的计算模型,在理论层面上有着其他模型不可替代的重要作用,它深刻地刻画了物理世界的可识别与可判定2个重要的概念。文章给出了这2种计算模型的一些基本概念、结论以及解决问题的主要方法。最后,用交通管理系统为例说明形式化方法的运用。
|
| 关 键 词： | 计算模型 图灵机 Petri网 计算 模型 |
Model of Computation: Turing Machine and Petri Net |
| |
| SONG Wen , MOU Xing-jun. Model of Computation: Turing Machine and Petri Net[J]. Journal of Xihua University(Natural Science Edition), 2012, 31(3): 1-6 |
| |
| Authors: | SONG Wen MOU Xing-jun |
| |
| Affiliation: | School of Mathematics and Computer Engineering,Xihua University,Chengdu 610039 China |
| |
| Abstract: | |
| |
| Keywords: | computation model turing machine Petri net computation model |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
