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 ne modifie pas son entrée.

Simulateur

Spécification de la machine

nom: Détecter les carrés séparés d'un X initial : Xi final : X4 demi ruban: 1 Xi,_ X0,_,> X0,a X1a,A,> X0,b X1b,B,> X0,X X3,X,> X1a,[ab] X1a,$1,> X1a,X X2a,X,> X2a,[AB] X2a,$1,> X2a,a X1,A,< X1b,[ab] X1b,$1,> X1b,X X2b,X,> X2b,[AB] X2b,$1,> X2b,b X1,B,< X1,[AB] X1,$1,< X1,X X2,X,< X2,[ab] X2,$1,< X2,A X0,a,> X2,B X0,b,> X3,A X3,a,> X3,B X3,b,> X3,_ X4,_,-

Messages de sortie du compilateur

https://machines.brunet-zamansky.fr