accept(Xs) :- 
  initial(Q), 
  accept(Xs,Q,[]).
accept([X|Xs],Q,S) :-
  delta(Q,X,S,Q1,S1),
  accept(Xs,Q1,S1).
accept([],Q,[]) :- final(Q).

initial(q0).
final(q1).
delta(q0,a,S,q0,[a|S]).
delta(q0,b,[a|S],q1,S).
delta(q1,b,[a|S],q1,S).