Développement #466
Titre : Construction d'un AFD reconnaissant une expression rationnelle
Contenu : Construction d'un automate fini déterministe reconnaissant une expression rationnelle par induction structurelle.
Créé le : 23/07/2026 12:42
Mis à jour : 23/07/2026 12:42
| Qualité | Numéro | Titre |
|---|---|---|
| 4 | 927 | Exemples de preuve d’algorithme : correction, terminaison.2021 |
| 4 | 25 | Analyses lexicale et syntaxique. Applications.2022 |
| 5 | 29 | Langages rationnels et automates finis. Exemples et applications2022 |