From 1eb33a61a0b0990c6c4eef2cd93aa145c9ed77c5 Mon Sep 17 00:00:00 2001 From: xdrm-brackets Date: Fri, 27 Jan 2017 16:11:59 +0100 Subject: [PATCH] Debug theorie des langages --- theoriedeslangagesetcompilation/cours/2.md | 49 ++++++++++++++++++- .../cours/compile | 0 .../cours/compiled/2.html | 43 +++++++++++++++- 3 files changed, 88 insertions(+), 4 deletions(-) rename {paradigmesdeprogrammation => theoriedeslangagesetcompilation}/cours/compile (100%) diff --git a/theoriedeslangagesetcompilation/cours/2.md b/theoriedeslangagesetcompilation/cours/2.md index 84950f4..0ca5b8b 100644 --- a/theoriedeslangagesetcompilation/cours/2.md +++ b/theoriedeslangagesetcompilation/cours/2.md @@ -7,7 +7,52 @@ Chapitre II - Grammaire **Grammaire** > Ensemble de règles permettant de générer des mots du langage sous forme de réécriture (on remplace une séquence par une autre). +> +> Une grammaire est un quadruplet $G=(N,T,P,S)$ ou : +> +> * $N$ est l'ensemble des **symboles non terminaux** +> * $T$ est l'ensemble des **symboles terminaux** : caractères de l'alphabet +> * $P$ est un ensemble de **règles de production**, de la forme $\alpha\rightarrow\beta$ avec $\alpha\in(N\cup T)^+$ et $\beta\in(N\cup T)^*$ +> * $S$ est le symbole de départ appelé **axiome** -**Mots générés** +##### Notations et remarques -> Mots obtenus à partir d'un symbole spécial appelé **symbole de départ** ou **axiome**. +* Pour les caractères de $N$: on utilisera (habituellement) des majuscules. +* Pour les caractères de $T$: on utilisera (habituellement) des minuscules. +* Pour les règles de $P$, nos règles seront de la forme $X\rightarrow\beta$, avec $X\in N$ et $\beta\in(N\cup T)^*$ +* L'axiome, noté $S$ (habituellement), est la base de la définition inductive, et c'est la racine de tout arbre de dérivation valide. + + +**Remarque:** Souvent on décrit une grammaire seulement par les règles. + + + +### Exemple + + +##### Règles de production +1. $P \rightarrow SVC$ +2. $S \rightarrow G$ +3. $C \rightarrow G$ +4. $G \rightarrow AN$ +5. $G \rightarrow ADN$ + + +##### Dérivation d'une phrase (recherche de chemin) + +> "La vielle dame regarde la petite fille" + +**Etapes de dérivation:** + +1. P $\rightarrow$ SG +2. $\rightarrow$ GVS +3. $\rightarrow$ ADNVC +4. $\rightarrow$ la DNVC +5. $\rightarrow$ la vieille NVC +6. $\rightarrow$ la vieille dame VC +7. $\rightarrow$ la vieille dame regarde C +8. $\rightarrow$ la vieille dame regarde G +9. $\rightarrow$ la vieille dame regarde ADN +10. $\rightarrow$ la vieille dame regarde la DN +11. $\rightarrow$ la vieille dame regarde la petite N +12. $\rightarrow$ la vieille dame regarde la petite fille diff --git a/paradigmesdeprogrammation/cours/compile b/theoriedeslangagesetcompilation/cours/compile similarity index 100% rename from paradigmesdeprogrammation/cours/compile rename to theoriedeslangagesetcompilation/cours/compile diff --git a/theoriedeslangagesetcompilation/cours/compiled/2.html b/theoriedeslangagesetcompilation/cours/compiled/2.html index ee102aa..ffe372e 100644 --- a/theoriedeslangagesetcompilation/cours/compiled/2.html +++ b/theoriedeslangagesetcompilation/cours/compiled/2.html @@ -17,10 +17,49 @@

Grammaire

Ensemble de règles permettant de générer des mots du langage sous forme de réécriture (on remplace une séquence par une autre).

+

Une grammaire est un quadruplet G = (N, T, P, S) ou :

+
-

Mots générés

+
Notations et remarques
+ +

Remarque: Souvent on décrit une grammaire seulement par les règles.

+

Exemple

+
Règles de production
+
    +
  1. P → SVC
    2. +
  2. S → G
    3. +
  3. C → G
    4. +
  4. G → AN
    5. +
  5. G → ADN
    6. +
+
Dérivation d'une phrase (recherche de chemin)
-

Mots obtenus à partir d'un symbole spécial appelé symbole de départ ou axiome.

+

"La vielle dame regarde la petite fille"

+

Etapes de dérivation:

+
    +
  1. P → SG
    2. +
  2. → GVS
    3. +
  3. → ADNVC
    4. +
  4. → la DNVC
    5. +
  5. → la vieille NVC
    6. +
  6. → la vieille dame VC
    7. +
  7. → la vieille dame regarde C
    8. +
  8. → la vieille dame regarde G
    9. +
  9. → la vieille dame regarde ADN
    10. +
  10. → la vieille dame regarde la DN
    11. +
  11. → la vieille dame regarde la petite N
    12. +
  12. → la vieille dame regarde la petite fille
    13. +