Universal Automata Simulation

Export as: PNG | SVG | Text | LaTeX | Share | Import

Simulate: Run Turing | Run DFA | Run NFA

Url shortener

Here's how to use it:

• Add a state: double-click on the canvas
• Add an arrow: shift-drag on the canvas
• Move something: drag it around
• Delete something: click it and press the delete key (not the backspace key)
• Save: use the share option

• Make accept state: double-click on an existing state
• Type numeric subscript: put an underscore before the number (like "S_0")
• Type greek letter: put a backslash before it (like "\beta")

• Make start state: name a state 'S' or '[S]Name'
• Run automata: write a word or tape configuration in the input field and simulate.
• Run turing machine: write the transitions in the format 'read;write,move' (blank is #)
• Multiple transitions: for multiple transitions on one edge write "\\"

Future-Feature:

• Save: save your work on the server

Examples:

• Binary Inverter TM
• Thue Morse (Wikipedia)
• divisible by 3 binary decimal