Motif abba

1 rubans

4 é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.

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 ok,a,- q3,b q0,b,>

Messages de sortie du compilateur

https://machines.brunet-zamansky.fr