ab*(aa)*

5 états

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

Simulateur

Spécification de la machine

initial : q0 final : q1,q3 q0,a,q1 q1,b,q1 q1,a,q2 q2,a,q3 q3,a,q2

Messages de sortie du compilateur

https://machines.brunet-zamansky.fr