An abstract machine simulator

  • M. C. Lee
Simulation Tools
Part of the Lecture Notes in Computer Science book series (LNCS, volume 438)


This paper introduces an Abstract Machine Simulator (AMS) for assisting students to learn abstract machines such as finite automata, Mealy machines and Moore machines. With AMS, topics related to abstract machines which are often included in introductory courses on Theory of Computation can be mastered more easily since it allows the learner to simulate any machine s/he can think of. The program supports learning by discovery. Through interacting with a simulation, the learner can acquire indepth knowledge about the nature of the machine. The general problem-solver approach adopted in developing the program can be employed to construct other simulation and animation based CAI applications. The program also demonstrates the effectiveness of a multi-paradigm programming approach to the implementation of tutoring programs.


Regular Expression Finite State Machine Inference Engine Finite Automaton Input String 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Cohen 86]
    Cohen D.I.A. Introduction to Computer Theory. John Wiley & Sons, Inc., 1986.Google Scholar
  2. [Kearsley 82]
    Kearsley G. Authoring Systems in Computer Based Education. Communication of the ACM, 25(7), 429–437, 1982.CrossRefGoogle Scholar
  3. [Hopcroft et al 79]
    Hopcroft J.E. & Ullman J.D. Introduction to Automata Theory, Languages and Computation. Addison-Wesley, London, 1979.Google Scholar
  4. [Lee 89]
    Lee M.C. ICAI Authoring System Development — a multi-paradigm approach. Doctoral Thesis, University of London, 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • M. C. Lee
    • 1
  1. 1.Dept. of Computer ScienceThe Chinese University of Hong KongHong Hong

Personalised recommendations