Warning: The JavaScript included below will be executed in your
browser without sanitation!
The constants `L` for left movement, `R`
for right movement, and `N` for no movement are available.
For writing transitions, `WILDCARD` and
`EMPTY_CELL` can be used. `STATE_ACCEPT` and
`STATE_REJECT` can be used when specifying states. The
start state is always `qstart` for single-taped machines.