- q1 qA qR          TM M_2 from Sipser, page 172
q1 0 q2 - R
q2 - qA - R 
q2 0 q3 x R 
q2 x q2 x R                Language: 
q3 - q5 - L    L = { 0^2^n | n is a natural number }
q3 0 q4 0 R         
q3 x q3 x R
q4 0 q3 x R 
q4 x q4 x R
q5 - q2 - R
q5 0,x q5 . L