// exntm.ntm
//
//  delta                0                   1
//
//     q0      {(q0,1,R), (q3,0,L)}  {q0,0,L), (q1,0,R)}
//
//     q1      phi                   {q2,0,R}
//
//  is coded as input:

start  q0
final  q2

  q0  0  q0  1  R
  q0  0  q3  0  L
  q0  1  q0  0  L
  q0  1  q1  0  R
  q1  1  q2  0  R

enddef

tape 11