Description

The Turing machine is a mathematical abstraction of an idealized digital computer. It was introduced in 1936 by Alan Turing as one of the finest formal definitions of the algorithm notion. Other were given by A. Markov, E. Post, S. Kleene, A. Church. There are many books and Internet articles about Theory of computations, and Turing machine in particular; you can start learning more using Wikipedia or with the book: Michael Sipser, Introduction to the Theory of Computation. MIT open courses also might be useful.

Features

TuME, the Turing Machine Emulator, is a tool that allows one to create Turing machines and execute them on his computer as if they were some sort of scripts. Here is a list of main TuME features:

1. ability running in automatic mode (to get results of execution quickly) or in step-by-step mode (to observe the execution process);
2. ability to trace execution in every mode;
3. ability to save and restore machine configuration and program to/from text files, easy to review and edit manually;
   
4. inline editor that provides a basic error protection;
5. cross-platform software: currently available for all Qt 4-featured desktop platforms, and some mobile platforms.

Tested on Linux with KDE, Microsoft Windows XP, MacOS X 10.5, Maemo and Symbian^3. As for the latter two, properly signed package is currently not available for download, we're working on it.

Distribution and Requirements

TuME is distributed as source code and binaries.

To build from source, you need Qt 4 libraries and tools installed on your system. If you also want to get documentation of the source code, you'll need Doxygen. Sources for desktop are available on Sourceforge. Both desktop and mobile sources are available at Sourceforge GIT repository. There are currently two branches:

• master - contains sources suitable for most desktops with Qt 4.
• symbian - sources optimized for mobile devices, especially for Symbian^3 with portrait screen orientation.

You may wonder, why I distribute Symbian^3 version as sources. This is because of absence of Symbian^3 certificate. Besides, I plan to submit TuME to Nokia Ovi Store, where it can take the advantage of being express-signed. As soon as it will be published, the link will be appear here.

License

TuME is distributed under BSD license.