FASharpSim: A Software Simulator for Deterministic and Nondeterministic Finite Automata
Georgiana Mihaela Nițu, Florin-Marian Birleanu · Journal of Electrical Engineering, Electronics, Control and Computer Science · 2017
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.