q0; e; e; q1; $
q1; {; e; q2; {,$
q2; (; {; q4; {,$
q4; e; e; q2; (,{,$
q2; ); (; q2; {,$
q2; }; {; q2; $
q2; e; $; q1; $
ACCEPT

q0; e; e; q1; $
q1; (; e; q2; (,$
q2; (; (; q4; (,$
q4; e; e; q2; (,(,$
REJECT

q0; e; e; q1; $
ACCEPT

q0; e; e; q1; $
REJECT