// l0n1na.tm    with trace all
// accept the language L = { 0^n 1^n | n>0 } 
// book page 150  Fig. 7.2

final q4
start q0
trace all
limit 50

q0  0  q1  X  R
q0  Y  q3  Y  R
q1  0  q1  0  R
q1  1  q2  Y  L
q1  Y  q1  Y  R
q2  0  q2  0  L
q2  X  q0  X  R
q2  Y  q2  Y  L
q3  Y  q3  Y  R
q3  #b q4  #b R
q4  #b q4  #b N

enddef
tape  01#b     should be accepted
tape  0011#b   should be accepted
tape  011#b    should be rejected