Theo 0.2.1 review

Theo project is a simulator for Turing Machines and Finite Automatons. It's a simulator for various machine concepts found in theo

License: GPL (GNU General Public License) File size: 774K Developer: Alexander Hans

0

Theo project is a simulator for Turing Machines and Finite Automatons.

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.