摘要
图灵机模型是现代计算机科学的理论基础,学习图灵机理论对于研究计算机软件理论有重要意义。文章分析了在Von Neumann机上仿真图灵机存在的两个问题,并针对单带图灵机模型设计了一个完整的图灵机模拟系统。该模拟系统能够编译并执行图灵机程序,为基于图灵机模型或其扩展模型的理论研究提供实验平台,对构造基于中间语言解释执行的虚拟机提供实践指导。
TM model is the academic foundation of modern computer science.Studying the TM theory is important to research the computer software theory.This paper analyzes two questions of simulating TM in Von Neumann machine and designs an integrated TM simulation system basing on the TM model.This system can compile and execute the TM programs and provide experiment platform for the theory research of TM model.It can give direction for constructing the virtual machine basing on middle language.
出处
《计算机工程与应用》
CSCD
北大核心
2005年第8期101-103,227,共4页
Computer Engineering and Applications
基金
国家自然科学基金(编号:69635030)
关键词
图灵机模拟
图灵机程序
中间语言
turing machine simulation,TM program,middle language