Live version: https://unstable.life/turing-machine-simulator/
- Simulation of single-tape and multi-tape TM
- Simulation of deterministic and non-deterministic TM
- Save/load: by link, to file, to localStorage
- Interactive graphical editor
- Interactive graphical simulator
- Helpful error messages!
Clone and open the index.html
in your browser. Should work nicely in Chrome and FF.
- Write input to tape(s)
- Fill in the table
- Table input format: (NEXT_STATE, WRITTEN_SYMBOL, TAPE DIRECTION)
- Example: (qacc, > , R) will go into state qacc (accepting state), current field will be overwritten with '>', and the head will move to the right
- Non-determinism example: Just write more tuples like (qacc, > , R), (qrej, > , R) the TM will choose one randomly (or you can choose manually during the simulation)
- Multi-tape example: Increase the tape count and the table reformats, the input format is as follows: (NEXT_STATE, S1, S2, S3 , D1, D2, D3), where S1-S3 are symbols written to tape 1 to 3 and D1-D3 are head movement directions.
- Check the included example TMs to see what can be done.