Q:q1,q2
A:{,},(,)
Z:$,{,(
T:q1,e,e,q2,$
T:q2,},{,q2,e
T:q2,{,e,q2,{
T:q2,(,e,q2,(
T:q2,),(,q2,e
T:q2,e,$,q1,e
S:q1
F:q1