Aller au contenu

Projet:ENS Rennes langages formels 2016

Une page de Wikipédia, l'encyclopédie libre.
Ceci est la version actuelle de cette page, en date du 2 juillet 2023 à 18:57 et modifiée en dernier par Chaoborus (discuter | contributions). L'URL présente est un lien permanent vers cette version.
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

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.

  • 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).

Aide:Premiers pas

Pages à améliorer[modifier | modifier le code]

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 | modifier le code]

  • Utilisateur1
  • Utilisateur2

Informations quelconques.

Dérivée de Brzozowski[modifier | modifier le code]

  • Santiago Bautista
  • Alexandre Bonneau

Analyse Earley[modifier | modifier le code]

  • Pierre-Emmanuel Clet
  • Charles Haquet

Forme normale de Greibach[modifier | modifier le code]

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

Analyseur LR[modifier | modifier le code]

  • Pierre De Roubin
  • Nathan Koskas
  • Jimmy Petit

Analyse LL[modifier | modifier le code]

  • 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 | modifier le code]

  • Benjamin Bordais
  • Julie Parreaux

Grammaire ambigüe[modifier | modifier le code]

  • Maxence Brévard
  • Pierre Le Barbenchon

Analyse lexicale[modifier | modifier le code]

  • Adrien Gougeon
  • Nicolas Bellec

lemme de l'étoile[modifier | modifier le code]

  • Iskander Legheraba
  • Paul Blochas
  • Tsung-Hsuan Tsai

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

Automates d'arbres[modifier | modifier le code]

  • David Xu
  • Clarence Kineider

Brouillon : Utilisateur:Clarence Kineider/Brouillon

Monoïde syntaxique[modifier | modifier le code]

  • Bastien Jean
  • Antoine Leblond

Algorithme de Hopcroft[modifier | modifier le code]

  • Rémi Cornillet
  • Florian Voorwinden

Brouillon : Utilisateur:NotARealCat/Brouillon#Modification