tm.java starting, reading l0n1n.tm
reading l0n1n.tm
// 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

reading input finished.
turing machine running on input tape: #[01#b#]
transition not found for q4  b
rule not found state=q4  ts=b
 input tape or turing machine failed
 
 
 
turing machine running on input tape: #[10#b#]
transition not found for q0  1
rule not found state=q0  ts=1
 input tape or turing machine failed
 
 
 
turing machine running on input tape: #[11#b#]
transition not found for q0  1
rule not found state=q0  ts=1
 input tape or turing machine failed
 
 
 
turing machine running on input tape: #[00#b#]
transition not found for q1  #b
rule not found state=q1  ts=#b
 input tape or turing machine failed
 
 
 
turing machine running on input tape: #[001#b#]
transition not found for q1  #b
rule not found state=q1  ts=#b
 input tape or turing machine failed
 
 
 
turing machine running on input tape: #[011#b#]
transition not found for q3  1
rule not found state=q3  ts=1
 input tape or turing machine failed
 
 
 
turing machine running on input tape: #[0011#b#]
transition not found for q4  b
rule not found state=q4  ts=b
 input tape or turing machine failed
 
 
 
turing machine running on input tape: #[00001111#b#]
transition not found for q4  b
rule not found state=q4  ts=b
 input tape or turing machine failed
 
 
 
no more input tapes
 
finished tm.java