FASharpSim: A Software Simulator for Deterministic and Nondeterministic Finite Automata

Georgiana Mihaela Nițu, Florin Marian Bîrleanu


FASharpSim is a didactic simulator for deterministic and nondeterministic finite automata meant to be used in the laboratory classes. It allows, before simulation, building these automata in an intuitive easy manner, by means of a simple friendly graphical interface. This application explains the concept of finite automaton by clearly simulating it. The paper describes the application development, the algorithms which provide its functionality (compilation, simulation), as well as some eloquent examples of designing and simulating some automata using FASharpSim. The purpose of the simulator is to clearly illustrate the notion of finite automaton and draw a sharp line between the two types of finite automata: deterministic and nondeterministic. 

Full Text:



J. E. Hopcroft, R. Motwani, and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, Second Edition. Addison-Wesley, 2001.

P. Linz, An Introduction to Formal Languages and Automata, Third Edition. Jones and Bartlett Publishers, 2001.

G. V. Orman, Limbaje Formale.Bucureşti: Editura tehnică, 1982.

T. M. White, T. P. Way, jFAST: A Java Finite Automata Simulation, Applied Computing Technology Laboratory, Department of Computing Sciences, Villanova University, In Thirty-seventh SIGCSE Technical Symposium on Computer Science Education (2006), 384–388, vol. 38.

S. H. Rodger, T. W. Finley, JFLAP: An Interactive Formal Languages and Automata Package. Jones and Bartlett Publishers, 2006.

C. Burch, "Automaton Simulator" (version 1.2), http://www.cburch.com/proj/autosim/, 2008.

I. Zuzak, and V. Jankovic, "FSM simulation", http://ivanzuzak.info/noam/webapps/fsm_simulator/, 2015.

C. Burch, "Finite automaton simulation", http://www.cs.cmu.edu/~cburch/survey/dfa/.

T. Fransson, Simulators for formal languages, automata and theory of computation with focus on JFLAP. B.Sc. Thesis, Mälardalen University, Västerås, Sweden, 2013.


  • There are currently no refbacks.