An Optimizing Compiler for Turing Machine Description Language
Pinaki Chakraborty, Shweta Taneja, Nandita Anand, Anupama Jha, Diksha Malik, Ankit Nayar · SSRN Electronic Journal · 2012
Turing machines are an important concept in theoretical computer science. Several simple languages have been developed till date for modeling and simulation of Turing machines, often for pedagogical purposes. The Turing Machine Description Language (TMDL) is one such language and it is best known for its textbook style descriptive representation of Turing machines. This paper reports the development of a two-pass optimizing compiler for the language. In an experiment, it was observed that the optimizing compiler produces object programs that are up to 1.784 times shorter and 1.032 times faster than those produced by an existing compiler that does not employ code optimization.