29 - Langages rationnels et automates finis. Exemples et applications2022

Rapport du jury 2019

Pour cette leçon très classique, il importe de ne pas oublier de donner exemples et applications,ainsi que le demande l’intitulé. $\\$ Une approche algorithmique doit être privilégiée dans la présentation des résultats classiques (déterminisation, théorème de Kleene, etc.) qui pourra utilement être illustrée par des exemples. $\\$ Le jury est naturellement amené à poser des questions telles que : « connaissez-vous un algorithme pour décider de l’égalité des langages reconnus par deux automates ? quelle est sa complexité ? » Des applications dans le domaine de l’analyse lexicale et de la compilation entrent naturellement dans le cadre de cette leçon.

Afficher les anciens rapports

Développements

5 Aho-Corasick
5 Séparation par automate NP-complet
5 Algorithme de Hopcroft
5 Construction d'un automate déterministe à partir d'une expression régulière
5 Automate fini déterministe pour (a|b)^*abb
5 Construction d'un AFD reconnaissant une expression rationnelle
5 Automate d'Antimirov
5 Universalité d'un langage rationnel
5 Décidabilité de l'arithmétique de Presburger
3 Théorèmes de point fixe de Kleene et application

Plans

Rajouter une version
Utilisateur : sieghttct
Références :
Langages formels, Calculabilité et Complexité
Mathématiques de l'informatique

Retours