Commence par ab et finit par bb

5 états

Cet automate déterministe reconnait le langage des mots w sur l’alphabet {a,b} qui peuvent s’écrire à la fois w=abu et w=vbb, où u et v sont des mots.

Simulateur

Spécification de la machine

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

Messages de sortie du compilateur

https://machines.brunet-zamansky.fr