Projet:ENS Rennes langages formels 2016
Ce projet pédagogique est archivé.
Ce projet est inactif et n’est plus tenu à jour depuis longtemps. Il est conservé pour son intérêt historique.
Les élèves du département informatique et du département mathématiques de l'ENS Rennes s'unissent pour améliorer certains articles wikipedia relatifs aux langages formels.
Calendrier modifier
- 3 novembre ː Rendre un compte rendu des améliorations possibles de l'article, définition de votre projet
- Dès réception d'une réponse de ma part, vous pouvez commencer à travailler. Il est tout à fait possible que l'on interagisse à partir de maintenant (mail, rendez-vous dans mon bureau, etc.).
- 9 décembre ː Modifications terminées. Rendre le compte rendu de vos modifications (les contributions effectuées comptent dans le contrôle continu).
Ressources modifier
Pages à améliorer modifier
Inscrivez la pages à améliorer et les noms d'utilisateur (pour ceux qui veulent rester anonymes, vous pouvez aussi utiliser un pseudonyme, par contre, je vous encourage fortement à créer un compte) ici selon le modèle qui suit.
Titre de la page modifiée modifier
- Utilisateur1
- Utilisateur2
Informations quelconques.
Dérivée de Brzozowski modifier
- Santiago Bautista
- Alexandre Bonneau
Analyse Earley modifier
- Pierre-Emmanuel Clet
- Charles Haquet
Forme normale de Greibach modifier
- Silvère Nédélec
- Alain Blaustein
Analyseur LR modifier
- Pierre De Roubin
- Nathan Koskas
- Jimmy Petit
Analyse LL modifier
- Timothée Anne
- Mathieu Chambe
Page de brouillon : https://fr.wikipedia.org/wiki/Utilisateur:Timoth%C3%A9e_Anne/Brouillon
Problème de la hauteur d'étoile modifier
- Benjamin Bordais
- Julie Parreaux
Grammaire ambigüe modifier
- Maxence Brévard
- Pierre Le Barbenchon
Analyse lexicale modifier
- Adrien Gougeon
- Nicolas Bellec
lemme de l'étoile modifier
- Iskander Legheraba
- Paul Blochas
- Tsung-Hsuan Tsai
Page lemme d'Ogden, complément pour lemme de l'étoile à la Ogden.
Automates d'arbres modifier
- David Xu
- Clarence Kineider
Brouillon : Utilisateur:Clarence Kineider/Brouillon
Monoïde syntaxique modifier
- Bastien Jean
- Antoine Leblond
Algorithme de Hopcroft modifier
- Rémi Cornillet
- Florian Voorwinden
Brouillon : Utilisateur:NotARealCat/Brouillon#Modification