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

1 rubans

8 é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 qa,_,> q0,b qb,_,> qa,[ab] qa,$1,> qb,[ab] qb,$1,> qa,X qXa,X,> qb,X qXb,X,> qXa,X qXa,X,> qXb,X qXb,X,> qXa,a qrev,X,< qXb,b qrev,X,< qrev,[abX] qrev,$1,< qrev,_ q0,_,> q0,X check,_,> check,X check,_,> check,_ ok,_,-

Messages de sortie du compilateur

https://machines.brunet-zamansky.fr