Liste des plans proposés
Liste de tous les développements proposés
Note : certains développements peuvent être proposés sans faire directement référence à un plan.
-
Preuve d'un algorithme de calcul d'une table de parsing LL(1) par Thibaut Antoine (#00037)
Utilisable dans les leçons : 30
Références :- Compilation : analyse lexicale et syntaxique — Du texte à sa structure en informatique de Romain Legendre & François Schwarzentruber
-
Algorithme CYK par Balthazar Patiachvili (#00029)
Utilisable dans les leçons : 14 / 30
Références :- Langages formels — Calculabilité et complexité de Olivier Carton
- Compilation : analyse lexicale et syntaxique — Du texte à sa structure en informatique de Romain Legendre & François Schwarzentruber