• Jun 14, 2017 News!Vol.8, No.5 has been indexed by EI (Inspec).   [Click]
  • Nov 09, 2017 News!Vol.9, No.5 has been published with online version. 16 peer reviewed articles from 11 specific areas are published in this issue.   [Click]
  • Jul 19, 2017 News!Vol.9, No.4 has been published with online version. 16 peer reviewed articles from 16 specific areas are published in this issue.   [Click]
General Information
Editor-in-chief
Prof. Wael Badawy
Department of Computing and Information Systems Umm Al Qura University, Canada
I'm happy to take on the position of editor in chief of IJCTE. We encourage authors to submit papers concerning any branch of computer theory and engineering.
IJCTE 2011 Vol.3(1): 153-157 ISSN: 1793-8201
DOI: 10.7763/IJCTE.2011.V3.298

Implementation of Recursively Enumerable Languages in Universal Turing Machine

Sumitha C. H and Krupa Ophelia Geddam

Abstract—This paper presents the design and working of a Universal Turing Machine (UTM) for the JFLAP platform. Automata play a major role in compiler design and parsing. The class of formal languages that work for the most complex problems belong to the set of Recursively Enumerable Languages (REL). RELs are accepted by the type of automata known as Turing Machines. Turing Machines are the most powerful computational machines and are the theoretical basis for modern computers. Still it is a tedious task to create and maintain Turing Machines for all the problems. To solve this Universal Turing Machine (UTM) is designed in this paper. The UTM works for all classes of languages including regular languages, Context Free Languages as well as Recursively Enumerable Languages. A UTM simulates any other TM, thus providing a single model and solution for all the computational problems. The creation of UTM is very tedious because of the underlying complexities. Also many of the existing tools do not support the creation of UTM which makes the task very difficult to accomplish. Hence a Universal Turing Machine is developed for the JFLAP platform. JFLAP is most successful and widely used tool for visualizing and simulating all types of automata.

Index Terms—CFG, CFL, delta rule, DFA, FSA, PDA, JFLAP, REL, transitions, UTM

Sumitha C. H, Department of Computer Science and Engineering, Karunya University, Coimbatore, India (e-mail: sumithach.1986@gmail .com)
Krupa Ophelia Geddam, Department of Computer Science and Engineering, Karunya University, Coimbatore, India, (e-mail: ophelia@karunya.edu.in)

[PDF]

Cite: Sumitha C. H and Krupa Ophelia Geddam, "Implementation of Recursively Enumerable Languages in Universal Turing Machine," International Journal of Computer Theory and Engineering vol. 3, no. 1, pp. 153-157, 2011.

Copyright © 2008-2015. International Journal of Computer Theory and Engineering. All rights reserved.
E-mail: ijcte@vip.163.com