eind(s3).

transitie(s1,a,s1).
transitie(s1,a,s2).
transitie(s1,b,s1).
transitie(s2,b,s3).
transitie(s3,b,s4).

stil(s4,s3).

accepteert(S,[]) :-
    eind(S).
accepteert(S,[X|Rest]) :-
    transitie(S,X,S1),
    accepteert(S1,Rest).
accepteert(S,String) :-
    stil(S,S1),
    accepteert(S1,String).
