- q0 qA qR              Language: 
q0 1 q1 A R       L = {1^n 0^n 1^n | n >= 0}
q0 B q4 . R       eg: 101  110011  111000111  ...
q1 1,B q1 . R
q1 0 q2 B R
q2 0,C q2 . R
q2 1 q3 C L
q3 C,B,0,1 q3 . L
q3 A q0 . R
q4 B,C q4 . R
q4 - qA . R