Ultimate Turing Simulator

Introduction

I wrote this simulator at the time of my master stdy at University Basel. There was a task of writing a couple of simple scripts running on the simulator of the german university of Freiburg (Machine is still available under http://ais.informatik.uni-freiburg.de/turing-applet/). I felt a bit unhappy with this simulator and decided therefore to write my own. meine Erwartungen.
It introduces a new description language which allows more flexible handling (deterministic and non deterministic, muliple tapes [synchronous or asynchronous]).

Features

Supports two file formats (import und export). A simple state transition description language compatible to the application mentioned above and a better description language supporting all features.
A GUI, which allows modifications by drag and drop (and can be saved to a file).
Context sensitive drop down menus on all components
Script highlighting depending on the current state of the machine
Handling of non deterministic state machines (NFA)

Documenation

Very poor at this stage. Currently there is a description of the syntax in EBNF. There is a lot to be done.

Screenshots


A small DFA	Animated GIF of an NFA running

Download

To install the application you need only webstart support of Java 1.4+. Install and run.
For peoples which do not trust me (hope there are some) the application is available as applet as well.

Demos

Demofile	Description
NFA.ts	a NFA accepting tapes ending in [...,"1","1"].
turing1.ts	A DFA accepting tapes containing sequences of ["0","1"] (at least one).
turing2.ts	A DFA accepting tapes containing twice the same sequence of "+" and "-" delimited by a "/" sign.

ToDo's

A lot. But a couple of things are allready partially in the code contained.

Documentation (there is a lot to do)
Support for cellar automates
Better source highlighting (highlight transitions in sources)
Export to animated GIF's
More fluid animation
faster
Comment source code and use GPL when publishing
Only partial replacement of source in case of modifications
Extend gui to an editor

Bug's, Misspellings and other beauties

None known but I am sure that there are some (No program is perfect). Whoever stumples across anything worth fixing: let me know.
Proposals, encurragements, inviation for dinner and similar can be sent to martin (at) gwerder.net.

Lizenz

LotB (License of the brave)
Use it for whatever purpose you want. There i no guarantee for anything. Not even for fitness as a turing simulator.