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