Développement : Automate fini déterministe pour (a|b)^*abb

Détails/Enoncé :

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

Versions :