Carrés séparés d’un X

1 rubans

6 états

Cette machine deterministe prend en entrée un mot sur l’alphabet {a,b,X} et teste si ce mot est de la forme wXw, avec w un mot ne contenant que les symboles a et b. Cette machine efface son entrée.

Simulateur

Spécification de la machine

nom: Détecter les carrés séparés d'un X initial : qi final : ok demi ruban: 1 qi,_ q0,_,> 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