Construction d'un AFD reconnaissant une expression rationnelle
Construction d'un automate fini déterministe reconnaissant une expression rationnelle par induction structurelle.
| Qualité | Numéro | Titre |
|---|---|---|
| 5 | 29 | Langages rationnels et automates finis. Exemples et applications2022 |
| 4 | 927 | Exemples de preuve d’algorithme : correction, terminaison.2021 |
| 4 | 25 | Analyses lexicale et syntaxique. Applications.2022 |
Utilisateur : Gayral
Références :
Compilers - Aho, Ullman, Lam, Sethi
Utilisateur : sieghttct
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.
Références :