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