start_state(1).
delta(1,c,2).
delta(1,c,6).
delta(1,c,11).
delta(1,c,15).
delta(2,a,3).
delta(3,t,4).
delta(5,c,6).
delta(5,c,11).
delta(5,c,15).
delta(6,a,7).
delta(7,t,8).
delta(8,s,9).
delta(10,c,11).
delta(10,c,15).
delta(11,a,12).
delta(12,r,13).
delta(14,c,15).
delta(15,a,16).
delta(16,r,17).
delta(17,s,18).
final_state(4).
final_state(9).
final_state(13).
final_state(18).
