Applying the framework of Turing machine developing system for implementing Java virtual machine

Issue title: Special Supplement Issue in Section A and B: Selected Papers from the ISCA International Conference on Software Engineering and Data Engineering, 2011

Guest editors: Narayan C. Debnath

Article type: Research Article

Authors: Liaw, Heh-Tyan^{; *} | Liou, Ay-Hwa Andy | Huang, Shang

Affiliations: Department of Information Management, Tamkang University, Taiwan, R.O.C. | Department of Computer Science, Winona State University, Winona, MN, USA

Correspondence: [*] Corresponding author: Heh-Tyan Liaw, Department of Information Management, Tamkang University, Taiwan, R.O.C. E-mail: htliaw@mail.tku.edu.tw.

Abstract: The Turing machine can be used for rigorous study of the computation theory. In theory the Turing machine can simulate modern computers, but the actual implementation would be very difficult. This paper proposes a framework of Turing machine developing system. This developing system has been used successfully to implement a special Turing machine that is capable of executing Java bytecode. Demonstrations of this paper have shown the effectiveness of adopting the Turing machine for practical computation. In addition, the developing system can be applied to demonstrate the principle and concept of Turing machines.

Keywords: Turing machine, Java virtual machine, GUI, computation theory

DOI: 10.3233/JCM-2012-0446

Journal: Journal of Computational Methods in Sciences and Engineering, vol. 12, no. s1, pp. S161-S168, 2012