Commence par ab et finit par bb

5 états

non-déterministe

Cet automate non-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` (ndet) init : 0 final : 4 option : non-det 0,a,1 1,b,2 1,b,3 2,[ab],2 2,b,3 3,b,4

Messages de sortie du compilateur

https://machines.brunet-zamansky.fr