AutoSim is a free automata simulator for students and educators. Written in Java, it is a command-line based utility that runs on any OS that supports Java. With AutoSim, you can not only determine the final state or stack/tape contents, you can also trace through the execution states as well, from the initial to the final states. It currently supports DFAs, NFAs, Moore machines, Mealy machines, DPDAs, NPDAs, CFGs (derivation), as well as Standard Turing Machines. It also supports NFA to Regex conversion.
$ cd src/autosim
$ javac -Xlint:unchecked *.java$ cd src
$ java autosim.AutoSimThe above will display the list of all command line options. Example files are to be found in the examples directory.
The application is licensed under the MIT License. Copyright © Akash Nag.