Bild Schrift Zahl · Aufklärung des Modellbegriffs · Download
A Turing Machine Integrated Development Environment
TuringIDE is a Turing Machine simulator application for experiments on formal symbol allocations.
Any number of tapes and state-memories per machine is supported and visually displayed, any alphanumerical character or picture from an image file can be used as a symbol.
Automatic transformations between different machine structures are available.
While the traditional view on Turing Machines stresses the canonical 1-tape, 1-state-memory form to operate on a most reductive level,
TuringIDE has been created especially to serve as a freely configurable laboratory. (See [Gulden05]).
Save to disk (right-click, "Save link as...") and double-click to run.
Or type '
java -jar turingide.jar' in a shell. No installation is required, the .jar-archive can be executed directly.
The archive-file also contains the source code and additional documentation, unpack with '
jar xf turingide.jar'.
Run TuringIDE via Java WebStart.
Use this to run TuringIDE directly from the web. You may need to install the Java WebStart software, see Desktop Java – Java Web Start Technology
- Multiple tapes and state-memories
- Debugging features (breakpoints, trace-list)
- Generic notions of symbols (any visual image possible)
- Experimental tape features (e.g. multiple step movement)
- Automatic transformations of machine structure (e.g. from n tapes to 1 tape)
- XML import and export
- Extendable API, reusable by other Java applications
- OpenSource, licensed under the GNU General Public License
For more details, see the project development homepage at BerliOS.
The software is released under the GNU General Public License (GPL).
[Gulden05] Gulden, J., "A Laboratory for Computer Scientists. Turing Machines for Experiments on Symbol Allocation Processes", in: Bab et al. (eds.), Models And Human Reasoning, Wissenschaft und Technik, Berlin, 2005
Top of page