Contient le sous-mot aab et finit par b (det)

1 rubans

6 états

Cette machine deterministe prend en entrée un mot sur l’alphabet {a,b} précédé d’un espace et teste si ce mot contient le sous-mot aab et se termine par un le symbole b.

Simulateur

Spécification de la machine

nom : Contient le sous-mot aab et finit par b initial : i final : ok demi ruban : 1 i,_ 0,_,> 0,a 1,a,> 0,b 0,b,> 1,a 2,a,> 1,b 0,b,> 2,a 2,a,> 2,b 3,b,> 3,[ab] 3,$1,> 3,_ 4,_,< 4,b ok,b,>

Messages de sortie du compilateur

https://machines.brunet-zamansky.fr