start_state(1).
delta(1,a,1).
delta(1,a,2).
delta(1,b,1).
delta(2,a,3).
delta(2,b,3).
delta(3,a,4).
delta(3,b,4).
delta(4,a,5).
delta(4,b,5).
delta(5,a,6).
delta(5,b,6).
final_state(6).
