start_state(q1).
final_state(q7).
delta(q1,nil,q2).
delta(q1,x,q5).
delta(q2,nil,q3).
delta(q2,y,q6).
delta(q3,nil,q4).
delta(q4,nil,q1).
delta(q5,nil,q6).
delta(q5,z,q2).
delta(q6,nil,q7).
