A language for easy and efficient modeling of
Turing machines
Pinaki Chakraborty
【期刊名称】《自然科学进展（英文版）》 【年(卷),期】2007(017)007
【摘要】A Turing Machine Description Language (TMDL) is developed for easy and efficient modeling of Turing machines.TMDL supports formal symbolic representation of Turing machines. The grammar for the language is also provided. Then a fast singlepass compiler is developed for TMDL. The scope of code optimization in the compiler is examined. An interpreter is used to simulate the exact behavior of the compiled Turing machines. A dynamically allocated and resizable array is used to simulate the infinite tape of a Turing machine. The procedure for simulating composite Turing machines is also explained. In this paper, two sample Turing machines have been designed in TMDL and their simulations are discussed. The TMDL can be extended to model the different variations of the standard Turing machine. 【总页数】5页(867-871)
【关键词】Turing machine;compiler;interpreter;simulation 【作者】Pinaki Chakraborty
【作者单位】School of Computer and Systems Sciences, Jawaharlal Nehru University, New Delhi 110067, India
A language for easy and efficient modeling of Turing machines
