start_state(1).
delta(1,0,2).
delta(1,1,6).
delta(2,0,7).
delta(2,1,3).
delta(3,0,1).
delta(3,1,3).
delta(4,0,3).
delta(4,1,7).
delta(5,0,8).
delta(5,1,6).
delta(6,0,3).
delta(6,1,7).
delta(7,0,7).
delta(7,1,5).
delta(8,0,7).
delta(8,1,3).
final_state(3).
