start_state(1).
delta(1,x,2).
delta(1,y,3).
delta(1,z,5).
delta(2,x,5).
delta(2,y,5).
delta(2,z,4).
delta(3,x,5).
delta(3,y,5).
delta(3,z,5).
delta(5,x,5).
delta(5,y,5).
delta(5,z,5).
delta(4,x,2).
delta(4,y,3).
delta(4,z,5).
final_state(2).
final_state(3).
