Contient le sous-mot abc et mais pas bb

9 états

Cette automate 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 aab et finit par b initial : e final : abc, abc' e,a,a e,b,b e,c,e a,a,a a,b,ab a,c,e b,a,a b,b,bb b,c,e ab,a,a ab,b,bb ab,c,abc bb,[abc],bb abc,[ac],abc abc,b,abc' abc',[ac],abc abc',b,bb

Messages de sortie du compilateur

https://machines.brunet-zamansky.fr