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