Développement : Construction d'un AFD reconnaissant une expression rationnelle

Détails/Enoncé :

Construction d'un automate fini déterministe reconnaissant une expression rationnelle par induction structurelle.

Versions :

  • Auteur :
  • Remarque :
    Carton en donne une version naïve (AFN puis déterminisation), qui montre seulement le résultat théorique, mais le développement devient intéressant si l'on calcule directement un AFD pas trop énorme, ce que font Aho et al.