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.

Recasages pour l'année 2023 :

  • Pas de recasages pour cette année.

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.