Abstract:
Automata and Language Theory is a core course in Computer Science. The course
presents theoretical models of computations, and one of them is the Turing machine.
Construction of Turing machines is often tedious, and conceptualization of their behavior is
difficult. A web-accessible simulator software is developed to provide a means of
analyzing the behavior of a machine graphically. This simulator provides graphical
simulations of the tape and the transition diagram. The software can simulate
deterministic Turing machines (without storage) and a special type of Turing machine that
has storage in the finite control.
