Développement : Automate fini déterministe pour (a|b)^*abb [no ref, no pdf]

Détails/Enoncé :

Construction directe d'un automate fini déterministe reconnaissant l'expression rationnelle $(a|b)^*abb$

Versions :

Pas de version pour ce développement.