Theo project is a simulator for Turing Machines and Finite Automatons.
Version: 0.2.1Theo project is a simulator for Turing Machines and Finite Automatons.
Operating System: Linux
It's 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.
In addition, there is a tape display that is used to edit machine input as well as display machine output.
When simulating non-deterministic machines, the calculation tree can be displayed and the user can select possible configurations in the tree.