Motif abba - automate

1 rubans

5 états

Cette machine prend en entrée un mot w sur l’alphabet {a,b}. Elle l’accepte si et seulement si il existe une paire de mots u et v tels que w=u abba v. Cette machine est la traduction d’un automate

Simulateur

Spécification de la machine

nom: Motif abba initial: q0 final: ok q0,a q1,a,> q0,b q0,b,> q1,a q1,a,> q1,b q2,b,> q2,a q1,a,> q2,b q3,b,> q3,a q4,a,- q3,b q0,b,> q4,a q4,a,> q4,b q4,b,> q4,_ ok,_,-

Messages de sortie du compilateur

https://machines.brunet-zamansky.fr