| 基本图灵机的Petri网建模研究 |
| |
| 引用本文： | 赵东旭,乐晓波. 基本图灵机的Petri网建模研究[J]. 数字社区&智能家居, 2009, 0(21) |
| |
| 作者姓名： | 赵东旭 乐晓波 |
| |
| 作者单位： | 长沙理工大学计算机与通信工程学院; |
| |
| 基金项目： | 2008年度湖南省自然科学基金项目(08JJ3124) |
| |
| 摘 要： | 该文采用Petri网这种系统描述和分析工具对基本图灵机进行了建模与分析。首先介绍了基本图灵机和Petri网的基本概念与定义,然后给出了一个利用Petri网对基本图灵机进行建模的有效算法,研究了用Petri网为基本图灵机建模的一般方法,说明了该方法的优越性,并最终以一个建模实例验证了该方法的有效性和可行性。
|
| 关 键 词： | Petri网 基本图灵机 形式语言 自动机 |
Research of Petri net model of basic Turing Machine |
| |
| ZHAO Dong-xu,YUE Xiao-bo. Research of Petri net model of basic Turing Machine[J]. Digital Community & Smart Home, 2009, 0(21) |
| |
| Authors: | ZHAO Dong-xu YUE Xiao-bo |
| |
| Affiliation: | College of Computer and Communication Engineering;Changsha University of Science and Technology;Changsha 410076;China |
| |
| Abstract: | In the paper, Petri net a tool to describe and analyze systems was applied to construct basic Turing Machine model and make analysis to basic Turing Machine. Conception and definition of basic Turing machine and Petri net were introduced firstly. Then a arithmetic of how to construct Petri Net model of basic Turing Machine was given and the common method of constructing basic Turing machine by Petri net was discussed. In the following, advantage of this method was explained. Feasibility and validity of this... |
| |
| Keywords: | Petri net basic turing machine formal language automaton |
| 本文献已被 CNKI 等数据库收录！ |
