Theo 0.2.1

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

Developer:	Alexander Hans more software by author →
Price:	0.00
License:	GPL (GNU General Public License)
File size:	774K
Language:
OS:
Rating:	0 /5 (0 votes)
Your vote:
enlarge screenshot

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.
tags

turing machines machines and non deterministic the machine finite automatons and finite simulator for for turing

Download Theo 0.2.1

http://kt3.theoinf.tu-ilmenau.de/~theoinf/theo-0.2.1.tar.bz2

http://kt3.theoinf.tu-ilmenau.de/~theoinf/theo-0.2.1.zip

Authors software

Similar software

Theo 0.2.1 (by Alexander Hans)
Theo project is a simulator for Turing Machines and Finite Automatons.

It's a simulator for various machine concepts found in theo

Alana 1.0 (by Markus Triska)
A highly responsive Turing machine simulator written in Tcl/Tk

Visual Automata Simulator 1.2 (by Jean Bovet)

Alan 1.0 (by Dominik Seichter)
Alan project is a Turing machine implementation.

Alan is an implementation of a Turing machine for educational purposes

Ragel State Machine Compiler 5.16 (by Adrian Thurston)
Ragel State Machine Compiler compiles finite state machines from regular languages into executable C/C++/Objective-C code

Concurrent Hierarchical State Machine 4.2 (by Paul J. Lucas and Fabio Riccardi)
Concurrent Hierarchical State Machine (CHSM) is a language system for specifying concurrent, hierarchical, finite state machines (an

Omnitty 0.2.8 (by Bruno T. C. de Oliveira)
Omnitty is a curses-based program that allows one to log into several machines simultaneously and interact with them, selectively dir

Java RAM Interpreter 1.0 (by Christian Reitwie?ner)
JAM - Java RAM Interpreter simulates Random Access Machines (RAMs)

Wake On LAN proxy 0.5 (by Marty Connor)
Wake On LAN proxy allows machines behind a gateway/firewall to be woken up

VMware Player 1.0.3 (by VMware, Inc.)
VMware Player can be used by anyone to run virtual machines on a Windows or Linux PC.

VMware Player makes it quick and easy to tak

Other software in this category

Advanced Bash Scripting Guide 4.1 (by M. Leo Cooper)
This tutorial assumes no previous knowledge of scripting or programming, but progresses rapidly toward an intermediate/advanced level

ArgoUML 0.20 (by Jason Robbins)
ArgoUML is a pure Java open source UML CASE tool that provides cognitive support for object-oriented design.

ArgoUML provides some

TrinityOS 05/22/05 (by David Ranch)

acarsdclient 1.65 (by KjM)
acarsdclient is an X client for the acarsd server

EGachine 0.1.2 (by karme)
EGachine is an JavaScript game engine focused on 2D multi-player (networked) games