Bild Schrift Zahl · Aufklärung des Modellbegriffs · Download
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.
The archive-file also contains the source code and additional documentation, unpack with '
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
[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