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

final q4
start q0
limit 100

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    accept
tape  10#b    reject
tape  11#b    reject
tape  00#b    reject
tape  001#b   reject
tape  011#b   reject
tape  0011#b  accept
tape  00001111#b  accept