Contient le sous-mot aab et finit par b

1 rubans

6 états

non-déterministe

Cette machine non-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 option : non-det demi ruban : 1 i,_ 0,_,> 0,[ab] 0,$1,> 0,a 1,a,> 1,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