<current state> <current symbol> <new symbol> <direction> <new state>
'.<current state>
and <new state>
, eg. 10, a, state1
. State labels are case-sensitive.<current symbol>
and <new symbol>
, or '_
' to represent blank (space). Symbols are case-sensitive.
;
', '*
', '_
' or whitespace as symbols.
<direction>
should be 'l
', 'r
' or '*
', denoting 'move left', 'move right' or 'do not move', respectively.;
' is a comment and is ignored.halt
', eg. halt, halt-accept
.*
' can be used as a wildcard in <current symbol>
or <current state>
to match any character or state.*
' can be used in <new symbol>
or <new state>
to mean 'no change'.!
' can be used at the end of a line to set a breakpoint, eg '1 a b r 2 !
'. The machine will automatically pause after executing this line.*
' in the initial input.