Les grammaires
Exercice 1
Pour chacune des grammaires suivantes :
1. Générer quelques phrases à l'aide de dérivations successives ;
2. Préciser leur longueur.
Gex1 = ({a,b,c}, {S}, S, {S → aSbSa | c})
Gex2 = ({a,b,ch,d}, {S,A,B,C}, S, {S → BCaCbbA ; A → CaCbb | ε ; Ca → ba ; Cbb → da ;
B → cha})
Gex3 = ({a,b}, {S,A}, S, {S → Aa | bA ; A → Sa | bS})
Exercice 2
Pour chacune des grammaires suivantes, donner leur type.
Gex1 = ({a,b,c}, {S}, S, {S → aSbSa | c})
Gex2 = ({a,b,ch,d}, {S,A,B,C}, S, {S → BCaCbbA ; A → CaCbb | ε ; Ca → ba ; Cbb → da ;
B → cha})
Gex3 = ({a,b}, {S,A}, S, {S → Aa | bA ; A → Sa | bS})
Exercice 3
Pour chacune des grammaires suivantes, donner le langage engendré et préciser le type de la
grammaire :
Gex4 = ({a,b}, {S,A,B}, S, {S → aAB ; B → SA ; Aa → Sab ; bB → a ; Ab → SBb})
Gex5 = ({/,\}, {S, U, V}, S, {S → UAV | UV ; A → VSU | VU ; U → / ; V → \})
Exercice 4
Pour chacune des grammaires suivantes :
1. Les écrire sous forme BNF
1
2. Donner les arbres de dérivation associés aux mots donnés à l'exercice 3.1. dans
le cas où la grammaire est de type 2 ou 3. Les représenter à l'aide des
diagrammes de Conway
Gex1 = ({a,b,c}, {S}, S, {S → aSbSa | c})
Gex2 = ({a,b,ch,d}, {S,A,B,C}, S, {S → BCaCbbA ; A → CaCbb | ε ; Ca → ba ; Cbb → da ;
B → cha})
Gex3 = ({a,b}, {S,A}, S, {S → Aa | bA ; A → Sa | bS})
Exercice 5
Soit la grammaire ({0,1,2,3,4,5,6,7,8,9,;,-,+},{S,Exp,Ch}, S, R) définie par les règles
suivantes :
S → Exp ; S | Exp
Exp → Exp + Exp | Exp - Exp | Ch
Ch → 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
1. Ecrire ces règles sous forme BNF
2. Donner les diagrammes de Conway correspondants
Exercice 5
Soit les deux grammaires suivantes :
Gex6 = {{a,b,;},{S,A},S,R1} avec R1 tel que :
S→A|A;S
A → aAb | ab
Gex7 = {{a,b,c},{S,A,B,C},S,R2} avec R2 tel que :
S → aAbBcC | ε
aA → aaA | aa
bB → bbB | bb
C → cC | c
1. Donner le type de ces grammaires.
2. Décrire le langage engendré par les grammaires Gex6 et Gex7.
3. Proposer si possible les grammaires linéaires (de type 3) équivalentes ainsi que les
expressions rationnelles décrivant ces langages.
Exercice 6
Proposer les grammaires, avec les règles sous forme BNF, permettant d'engendrer les
langages suivants :
2
Le langage L1 dont les mots sont des suites de symboles pris dans {a,b,c} séparés par
le symbole # (qui ne peut donc pas être le dernier caractère).
Ex. : "abab#cbb#a" et "abccc" sont deux mots de ce langage.
Le langage L2 dont les mots sont des règles possibles d'une grammaire linéaire droite
Grd définie par le quadruplet {{a,b,c},{S,A,B,C},S,R} avec R ⊆ L2.
Ex. : "A → abA | c", "B → b" et "S → bA | ε" sont trois mots de ce langage.
Exercice 7
Donner une grammaire pour les langages suivants. Préciser son type.
A={a,b,c} et L1={w ∈ A* | w=ambncp; m,n,p > 0}
A={a,b,c} et L2={w ∈ A* | w=apbqcr; p,q,r > 0; (p=q ou q=r)}
A={a,b} et L3={w ∈ A* | w=apbq; p,q ≥ 0; p ≠ q}
A={a,b,c} et L4={w ∈ A* | w=apbqcr; p,q > 0; r ≥ 0; p+q ≥ r}
Exercice 8
Soit le vocabulaire V={a,+,=}. Donner une grammaire hors-contexte pour le langage L dont chaque mot
représente une addition correcte de deux suites de symboles a. Par exemple : "aa+aaa=aaaaa".
