This site's content was compiled from 1993 to 2006. Beyond that, Google is your friend.
Alberto Minto
This program simulates the operation of any type of final states and deterministic automata.
By means of this program, we can represent the automaton (program, memory, states, etc), execute one step or more, and observe the tape and the state of the automaton.
It is possible to save the computation on disk and resume the execution of the automaton later.
The Automata Simulator will help researchers and students to verify the correctness of theoretical automata that they have devised.
DAS can simulate the following kinds of automata, and an example of each is provided in the distribution: