ab*(aa)*

1 rubans

5 états

Cette machine prend en entrée un mot sur l’alphabet {a,b}. Elle teste si ce mot appartient au langage ab*(aa)*.

Simulateur

Spécification de la machine

initial : q0 final : qf q0,a q1,_,> q1,b q1,_,> q1,a q2,_,> q2,a q3,_,> q3,a q2,_,> q1,_ qf,_,- q3,_ qf,_,-

Messages de sortie du compilateur

https://machines.brunet-zamansky.fr