Welcome to Visual Turing Page!
Visual Turing is a tool you can use to develop Turing machines. A Turing machine is a mathematical "toy" consisting of an infinite length tape with a left boundary on which may be written symbols. The symbols are the blank "#" and user defined - in Visual Turing they can be letters. This tape has a head that can move, read symbols and write symbols at one moment. The way it performs all the operations is determined by a graph - the "program" of the machine. The language of the machine consists from some simple instructions like: L- for moving the head to the left, R- for moving the head to the right, the "symbols"- for writing the symbols on the tape and the "variables"- for writing the variables. These instructions are the nodes in the graph. The arrows determine on which way goes the execution by their condition - a logical expression, which, if it is true, determines the execution path.
Visual Turing fully implements this language. With it, you can develop the Turing programs visually, designing the graph with some clicks. The editor has multiple levels of undo and it is easy to use because of the context menus available for every logical object: instruction, arrow, tape position etc. and the properties dialogs. You can also edit the tape and save multiple configurations. The execution features a rich set of commands: Play - for running, Pause - for pausing the execution, Stop - for stopping the execution, Step In - for stepping in during the execution, Step Out - for stepping out of the machine or stepping over them and Step Back - for the reverse execution. You can watch the value of the variables during the execution and annotate the machines. The programs can be saved and retrieved to/from files.
Special thanks to the BLUES, particularly to the magnificent bluesman A.G. Weinberger. They have given me that feeling to do this little thing and the others that will follow.
You may e-mail to the author: [email protected] or
Go to his homepage