Theo is a simulator for various machine concepts found in theoretical computer science. It includes support for Turing Machines and Finite Automatons, both deterministic and non-deterministic. Turing Machines support multiple tapes, which can be grouped. You can create new machines and edit existing ones either in a graphical way by editing the machine's graph, or via the machine's delta table.