start_state([1]).
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,[]).
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([3, 7, 12, 16],a,[]).
delta([3, 7, 12, 16],c,[]).
delta([3, 7, 12, 16],r,[13, 17]).
delta([3, 7, 12, 16],s,[]).
delta([3, 7, 12, 16],t,[4, 8]).
delta([13, 17],a,[]).
delta([13, 17],c,[]).
delta([13, 17],r,[]).
delta([13, 17],s,[18]).
delta([13, 17],t,[]).
delta([4, 8],a,[]).
delta([4, 8],c,[]).
delta([4, 8],r,[]).
delta([4, 8],s,[9]).
delta([4, 8],t,[]).
delta([18],a,[]).
delta([18],c,[]).
delta([18],r,[]).
delta([18],s,[]).
delta([18],t,[]).
delta([9],a,[]).
delta([9],c,[]).
delta([9],r,[]).
delta([9],s,[]).
delta([9],t,[]).
final_state([13, 17]).
final_state([4, 8]).
final_state([18]).
final_state([9]).
