Take a look at the new version of this page: [ beta version ]. Tell us what you think.

ABSTRACT

Language Emulator, written in Java, is a toolkit to help undergraduate students to understand the concepts of Automata Theory. The software allows the manipulation of regular expressions, regular grammars, deterministic finite automata, nondeterministic finite automata with and without lambda transitions, and Moore and Mealy machines. Language Emulator introduces error-detecting and internationalization functionalities into automata tools. It has been accepted by 95% of students in a recent survey, indicating that it is a helpful toolkit in learning Automata Theory.

REFERENCES

• 1: Deus ex machine http://www.ics.uci.edu/savoiu/dem/.Website.
• 2: Ganimal http://rw4.cs.uni-sb.de/ganimal/.Web site.
• 3: Turing's world http://www-csli.stanford.edu/hp/logic-software.html. Web site.
• 4: Webworks laboratory http://www.cs.montana.edu/webworks. Web site.
• 5: Susan H. Rodger , Anna O. Bilska , Kenneth H. Leider , Magdalena Procopiuc , Octavian Procopiuc , Jason R. Salemme , Edwin Tsang, A collection of tools for making automata theory and formal languages come alive, ACM SIGCSE Bulletin, v.29 n.1, p.15-19, March 1997
• 6: Carlos I. Chesñevar , María L. Cobo , William Yurcik, Using theoretical computer simulators for formal languages and automata theory, ACM SIGCSE Bulletin, v.35 n.2, June 2003 [doi>10.1145/782941.782975]
• 7: Gloor, P. Aace - algorithm animation for computer science education. In Workshop on Visual Languages (1992) pp.25--31.
• 8: Koutsofios, E., and North, S. C. Drawing graphs with dot. In "AT&T Bell Laboratories" (Murray Hill, NJ, U.S.A., October 1993).
• 9: Procopiuc, M., Procopiuc, O. and Rodger, S. H. Visualization and interaction in the computer science formal languages course with jflap. ASEE/IEEE Frontiers in education (FI) Conference (1996) 121--125.
• 10: Matthew B. Robinson , Jason A. Hamshar , Jorge E. Novillo , Andrew T. Duchowski, A Java-based tool for reasoning about models of computation through simulating finite automata and Turing machines, The proceedings of the thirtieth SIGCSE technical symposium on Computer science education, p.105-109, March 24-28, 1999, New Orleans, Louisiana, United States
• 11: Susan H. Rodger, Integrating Hands-on Work into the Formal Languages Course via Tools and Programming, Revised Papers from the First International Workshop on Implementing Automata, p.132-148, August 29-31, 1996
• 12: Eric Gramond , Susan H. Rodger, Using JFLAP to interact with theorems in automata theory, ACM SIGCSE Bulletin, v.31 n.1, p.336-340, March 1999
• 13: Ted Hung , Susan H. Rodger, Increasing visualization and interaction in the automata theory course, ACM SIGCSE Bulletin, v.32 n.1, p.6-10, Mar. 2000

INDEX TERMS

Primary Classification:
  K. Computing Milieux
  K.3 COMPUTERS AND EDUCATION
      K.3.2 Computer and Information Science Education
          Subjects: Computer science education

General Terms:
Experimentation, Languages, Theory

Keywords:
computer theory, teaching, tool