Motif bb

3 états

non-déterministe

Cet automate non-déterministe reconnait le langage des mots sur l’alphabet {a,b} qui s’écrivent ubbv, où u et v sont des mots.

Simulateur

Spécification de la machine

nom : Motif bb (ndet) init : 0 final : bb option: non-det 0,[ab],0 0,b,b b,b,bb bb,[ab],bb

Messages de sortie du compilateur

https://machines.brunet-zamansky.fr