Visual simulation of finite state machines
ACM SIGCSE Bulletin
Hypercard automata simulation: finite-state, pushdown and Turing machines
ACM SIGCSE Bulletin
Finite state machine simulation in an introductory lab
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
A collection of tools for making automata theory and formal languages come alive
SIGCSE '97 Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education
JFLAP (poster): an aid to studying theorems in automata theory
ITiCSE '98 Proceedings of the 6th annual conference on the teaching of computing and the 3rd annual conference on Integrating technology into computer science education: Changing the delivery of computer science education
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
Using JFLAP to interact with theorems in automata theory
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
Programming a universal push-down automaton
ACM-SE 37 Proceedings of the 37th annual Southeast regional conference (CD-ROM)
Journal of the ACM (JACM)
Programming Language for Automata
Journal of the ACM (JACM)
Increasing visualization and interaction in the automata theory course
Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
Computer laboratories for the theory of computing course
CCSC '01 Proceedings of the sixth annual CCSC northeastern conference on The journal of computing in small colleges
Turing's World 3.0: An Introduction to Computability Theory
Turing's World 3.0: An Introduction to Computability Theory
Animating automata: a cross-platform program for teaching finite automata
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
Loving to learn theory: active learning modules for the theory of computing
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
Interactive Pushdown Automata Animation
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
A simple hardware model of a Turing machine: its educational use
ACM '72 Proceedings of the ACM annual conference - Volume 1
A preliminary empirical evaluation of the effectiveness of a finite state automaton animator
SIGCSE '03 Proceedings of the 34th SIGCSE technical symposium on Computer science education
ICCAL '90 Proceedings of the 3rd International Conference on Computer Assisted Learning
Integrating Hands-on Work into the Formal Languages Course via Tools and Programming
WIA '96 Revised Papers from the First International Workshop on Implementing Automata
Programming non-deterministically using automata simulators
Journal of Computing Sciences in Colleges
Using theoretical computer simulators for formal languages and automata theory
ACM SIGCSE Bulletin
Interactive tools for computation theory
ACM SIGCSE Bulletin
Automata: a teaching aid for mathematical machines
ACM SIGCSE Bulletin
Language emulator, a helpful toolkit in the learning process of computer theory
Proceedings of the 35th SIGCSE technical symposium on Computer science education
A visual and interactive automata theory course with JFLAP 4.0
Proceedings of the 35th SIGCSE technical symposium on Computer science education
A classroom experiment for teaching automata
Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education
Turning automata theory into a hands-on course
Proceedings of the 37th SIGCSE technical symposium on Computer science education
jFAST: a java finite automata simulator
Proceedings of the 37th SIGCSE technical symposium on Computer science education
Learning automata and formal languages interactively with JFLAP
Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education
Realizing the promise of visualization in the theory of computing
Journal on Educational Resources in Computing (JERIC)
Turing machine simulation used in a breadth first computer science course
Journal of Computing Sciences in Colleges
Visualization and interaction in the computer science formal languages course with JFLAP
FIE '96 Proceedings of the 26th Annual Frontiers in Education - Volume 01
Increasing interaction and support in the formal languages and automata theory course
Proceedings of the 12th annual SIGCSE conference on Innovation and technology in computer science education
Teaching push-down automata and turing machines
Proceedings of the 13th annual conference on Innovation and technology in computer science education
Supporting Materials for Active e-Learning in Computational Models
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part II
Simulation of a Turing machine on a digital computer
AFIPS '63 (Fall) Proceedings of the November 12-14, 1963, fall joint computer conference
Increasing engagement in automata theory with JFLAP
Proceedings of the 40th ACM technical symposium on Computer science education
Proceedings of the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing on International Conference on Computer Systems and Technologies
| Hi-index | 0.00 |
Automata theory is an important subject in computer science and quite consequently, simulation of automata for pedagogical purposes is an important topic in computer science education research. This article reviews the major initiatives in the field of simulation of automata in the last five decades with emphasis on those automata simulators actually used at universities for teaching. A classification of the automata simulators on the basis of their design paradigms has been developed where they have been classified broadly into language based automata simulators and visualization centric automata simulators. Some salient trends in the research on simulation of automata are also identified. The article concludes with an advocacy for continuing research on simulation of automata and integration of automata simulators in teaching.