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 (SIGCSE, 1999)