图灵机模拟系统的设计与实现

• 作者: 梁意文 马龙
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 图灵机模拟 图灵机程序 中间语言
• 年，卷（期）: 2005,（8）
• 所属期刊栏目: 开发设计
• 页码范围: 101-103,227
• 页数: 4页
• 分类号: TP391
• 字数: 4693字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2005.08.032

摘要

图灵机模型是现代计算机科学的理论基础,学习图灵机理论对于研究计算机软件理论有重要意义.文章分析了在Von Neumann机上仿真图灵机存在的两个问题,并针对单带图灵机模型设计了一个完整的图灵机模拟系统.该模拟系统能够编译并执行图灵机程序,为基于图灵机模型或其扩展模型的理论研究提供实验平台,对构造基于中间语言解释执行的虚拟机提供实践指导.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	梁意文	武汉大学软件工程国家重点实验室	65	396	13.0	17.0
2	马龙	武汉大学计算机学院	7	43	3.0	6.0