Contient exactement une fois le motif bb

4 états

Cet automate déterministe reconnait le langage des mots w sur l’alphabet {a,b} qui peuvent s’écrire de manière unique sous la forme w=ubbv, avec u et v des mots.

Simulateur

Spécification de la machine

nom : Commence par `ab` et finit par `bb` (det) init : 0 final : 2, 3 0,a,0 0,b,1 1,a,0 1,b,2 2,a,3 3,b,2 3,a,3

Messages de sortie du compilateur

https://machines.brunet-zamansky.fr