Aller au contenu

Projet:ENS Rennes langages formels 2016

Une page de Wikipédia, l'encyclopédie libre.
La version imprimable n’est plus prise en charge et peut comporter des erreurs de génération. Veuillez mettre à jour les signets de votre navigateur et utiliser à la place la fonction d’impression par défaut de celui-ci.

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

  • 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

Aide:Premiers pas

Pages à améliorer

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

  • Utilisateur1
  • Utilisateur2

Informations quelconques.

Dérivée de Brzozowski

  • Santiago Bautista
  • Alexandre Bonneau

Analyse Earley

  • Pierre-Emmanuel Clet
  • Charles Haquet

Forme normale de Greibach

  • Silvère Nédélec
  • Alain Blaustein

Analyseur LR

  • Pierre De Roubin
  • Nathan Koskas
  • Jimmy Petit

Analyse LL

  • 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

  • Benjamin Bordais
  • Julie Parreaux

Grammaire ambigüe

  • Maxence Brévard
  • Pierre Le Barbenchon

Analyse lexicale

  • Adrien Gougeon
  • Nicolas Bellec

lemme de l'étoile

  • Iskander Legheraba
  • Paul Blochas
  • Tsung-Hsuan Tsai

Page lemme d'Ogden, complément pour lemme de l'étoile à la Ogden.

Automates d'arbres

  • David Xu
  • Clarence Kineider

Brouillon : Utilisateur:Clarence Kineider/Brouillon

Monoïde syntaxique

  • Bastien Jean
  • Antoine Leblond

Algorithme de Hopcroft

  • Rémi Cornillet
  • Florian Voorwinden

Brouillon : Utilisateur:NotARealCat/Brouillon#Modification