<current state> <current symbol> <new symbol> <direction> <new state>'.
<new state>, eg.
0, a, state1. State labels are case-sensitive.
0. It halts when it reaches any state starting with '
<new symbol>, or '
_' to represent blank (space). Symbols are case-sensitive.
<direction>should be '
r' or '
*', denoting 'move left', 'move right' or 'do not move', respectively.
;' is a comment and is ignored.
*' can be used as a wildcard in
<current state>to match any character or state.
*' can be used in
<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.