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

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