Détecter les carrés séparés d’un X

2 rubans

4 états

Cette machine prend en entrée un mot w sur l’alphabet {a,b,X}. Elle l’accepte si et seulement si il peut s’écrire comme w=uXu, pour un mot u sur l’alphabet {a,b}.

Simulateur

Spécification de la machine

nom: Détecter les carrés séparés d'un X initial : q0 final : ok q0,a,_ q0,_,a,>,> q0,b,_ q0,_,b,>,> q0,X,_ q1,X,_,-,< q1,X,[ab] q1,X,$2,-,< q1,X,_ q2,_,_,>,> q2,a,a q2,_,_,>,> q2,b,b q2,_,_,>,> q2,_,_ ok,_,_,-,-

Messages de sortie du compilateur

https://machines.brunet-zamansky.fr