A Java-based tool for reasoning about models of computation through simulating finite automata and Turing machines.

Matthew B. Robinson, Jason A. Hamshar, Jorge E. Novillo, Andrew T. Duchowski

Browse the full SIGCSE paper archive.