Contient le sous-mot abc et mais pas bb

1 rubans

9 états

non-déterministe

Cette machine non-deterministe prend en entrée un mot sur l’alphabet {a,b,c} précédé d’un espace et teste si ce mot contient le sous-mot abc et mais ne contient pas le sous-mot bb.

Simulateur

Spécification de la machine

nom : Contient le sous-mot abc et mais pas bb initial : i final : ok demi ruban : 1 option : non-det i,_ 0,_,> 0,[abc] 0,$1,> 0,a 1,a,> 1,b 2,b,> 2,c 3,c,> 3,[abc] 3,$1,> 3,_ 4,_,< 4,[ac] 4,_,< 4,b 5,_,< 4,_ ok,_,- 5,[ac] 4,_,<

Messages de sortie du compilateur

https://machines.brunet-zamansky.fr