Université de Kairouan A.U.

2019/2020
Institut Supérieur d’Informatique et de Gestion
Département Informatique

VÉÅÑ|Ätà|ÉÇ
Corrigé de la Série de Travaux Dirigés N°5
2ème année SI
Omar Mazhoud

XåxÜv|vx D
Soit la grammaire suivante :
 EX → EX + E1 EX − E1 E1
 E1 → P E1 * P E1 / P


 P → C ( EX )
 C→0 1 2 3 4 5 6 7 8 9

Et soit l’expression arithmétique suivante : e = 8 + ( (4*3) – (2+1))

1. Trouver l’arbre concret puis l’arbre abstrait de l’expression e.

EX
+
EX +
E1 8 -
E1
P * +
P
( EX )
C 4 3 2 1

8 EX
- E1
E1
P 2. Postfixée : (GDR) 4 3 * 2 1 +- 8 +
Préfixée : (RGD) +8-*43+21
( EX ) P

( EX )
E1

P EX + E1
E1
*
P C E1 P

C 3 P C

4 C 1

1
 3. Evaluer la forme postfixée de e
Procédure Evaluer-Postfixée
variables : ch, cc, op
Début
cc ← carsuiv(ch) ;
Tantque cc !=’\0’ Faire
Début
Si cc est un opérande simple alors Empiler(cc) ;
Sinon
Début
op ← cc
R1 ← Dépiler() ;
R2 ← Dépiler() ;
R2← application(op, R1, R2) ;
Empiler (R2) ;
Fin
Finsi
cc ← carsuiv(ch) ; ‘ avancer dans la lecture de la chaîne;
Finfaire
Fin

4 3 * 2 1 +- 8 + \0
cc 4 3 * 2 1 + - 9 + \0 EMP K4
EMP K3
op * + - +
DEP R1 %R1←3%
R1 3 1 3 8 DEP R2 %R2←4%
R2 4 12 2 3 12 9 9 17 MUL R2, R1 %R2←R2*R1 (12)%
EMP R2
EMP K2
EMP K1
Retour au premier appel DEP R1 %R1← 1%
DEP R2 %R2← 2%
ADD R2, R1 %R2←R2+R1 (3)%
13 17 EMP R2
11 10 3 DEP R1 %R1←3%
DEP R2 %R2←12%
8 7 1
SUB R2, R1 %R2←R2-R1 (9)%
9 6 2 EMP R2
12 5 12 EMP K8
DEP R1 %R1← 8%
3 2 3
DEP R2 %R2← 9%
4 1 4
ADD R2, R1 %R2←R2+R1 (17)%
EMP R2

4. Evaluer la forme prefixée de e

Il y a deux façons de faire cette évaluation. Tout dépend du sens de lecture du texte. Si on traite le texte de gauche à droite nous
allons suivre l’algorithme suivant et sinon (càd traiter le texte de droite à gauche) nous allons utiliser l’algorithme de l’évaluation
postfixée.

2
 4.1. Traitement du texte de gauche à droite :
Procédure Evaluer-Préfixée
variables : op, res, opg, opd, cc
Début
Si cc est un opérande simple alors
début
res←valeur(cc) ;
cc ← prochain ; avancer dans la lecture de la chaîne;
fin
Sinon
début
op ← cc ;
cc ← prochain ;
opg← Evaluer ; @1 première adresse d’appel de Evaluer
opd← Evaluer ; @2 deuxième adresse d’appel de Evaluer
res← application(op, opg, opd)
fin

Finsi
retourner (res) ;
Fin

+ 8 - * 4 3 + 2 1\0
cc + 8 - * 4 3 + 2 1 \0 14 13 @2 + 2
op + - * * * + + - + 12 11 @1 +
opg 8 4 4 12 2 2 12 8 15 10 @2 - 12
opd 3 1 3 9 Retour au 8 7 @2 * 4
res 8 4 3 12 2 1 3 9 17 premier 6 5 @1 *
appel 9 4 @1 -
16 3 @2 + 8
2 1 @1 +
@ op opg

3
 4.2. Traitement du texte de droite à gauche :
+ 8 - * 4 3 + 2 1\0
EMP K1
EMP K2
DEP R2 %R2←2%
R2 2 3 4 12 12 9 8 17 DEP R1 %R1←1%
R1 1 3 3 9 ADD R2, R1 %R2←R2+R1 (3)%
EMP R2
EMP K3
EMP K4
Retour au premier appel DEP R2 %R2← 4%
DEP R1 %R2← 3%
MUL R2, R1 %R2←R2*R1 (12)%
17 17 EMP R2
DEP R2 %R2←12%
15 14 8
DEP R1 %R1←3%
16 13 9 SUB R2, R1 %R2←R2-R1 (9)%

11 10 12 EMP R2
EMP K8
8 7 4
DEP R2 %R1← 8%
9 6 3 DEP R1 %R2← 9%
12 5 3 ADD R2, R1 %R2←R2+R1 (17)%
EMP R2
3 2 2
4 1 1

XåxÜv|vx E
On considère un robot qui peut être commandé pour se déplacer d’un pas vers une direction donnée
à partir de sa position courante. Une séquence d’un tel déplacement peut être engendrée par la

→ é
grammaire suivante :

: → |
→ | | |
1. Quel est le type de cette grammaire ?
Cette grammaire est de type 2 ou 3 puisque la partie gauche des règles est constituée tj d’un seul
symbole.
Comme ces règles n’obéissent pas à la forme des règles de la grammaire régulière (type 3) donc
cette grammaire est de type 2.

4
2. Donner l’arbre de dérivation du mot w suivant :
début est nord ouest nord est est sud est fin
S

début L fin

M L

est
M L

nord M
L

ouest M
L

nord M
L

est M L

est M L

sud M

est

3. Est-il possible d’analyser le mot w par la méthode prédictive ? Si oui faites cette analyse et sinon
proposer une solution pour le faire.
Oui, il est possible d’analyser w par la méthode prédictive car cette grammaire est une grammaire
récursive à droite (LML).
L’analyse prédictive (analyse descendante) ne fonctionne pas avec une G. Récursive à gauche.

Pas Cible Texte Action

1 S début est nord ouest nord... Remplacer S
Comparer,
2 début L fin début est nord ouest nord... Simplifier, Avancer
(CSA)
3 L fin est nord ouest nord... Remplacer L
M L fin
4 est nord ouest nord... Remplacer M
M fin

5
Pas Cible Texte Action
est L fin
ouest L fin
nord L fin CSA
sud L fin Ce qui est barré ce
5 est fin est nord ouest nord... sont les fausses
ouest fin cibles qui ne
ramènent à rien.
nord fin
sud fin

L fin
6 nord ouest nord... Remplacer L
fin
M L fin
7 M fin nord ouest nord est est... Remplacer M
fin
est L fin
ouest L fin
nord L fin
sud L fin
8 est fin nord ouest nord est est... CSA
ouest fin
nord fin
sud fin
fin
L fin
9 ouest nord est est sud est fin Remplacer L
fin
..................
L fin
n est fin Remplacer L
fin
M L fin
n+1 M fin est fin Remplacer M
fin
est L fin
ouest L fin
nord L fin
sud L fin
n+2 est fin est fin CSA
ouest fin
nord fin
sud fin
fin
L fin
n+3 fin Remplacer L
fin

6
 Pas Cible Texte Action
M L fin
n+4 M fin fin Remplacer M
fin
est L fin
ouest L fin
nord L fin
sud L fin
n+5 est fin fin CSA
ouest fin
nord fin
sud fin
fin
n+6 ∅ ∅ Arrêt avec succès

4. Est-il possible d’analyser le mot w par la méthode descendante avec retour en arrière ? Si oui
faites cette analyse et sinon proposer une solution pour le faire.
Oui, il est possible d’analyser w par la méthode descendante avec retour en arrière car cette
grammaire est une grammaire récursive à droite (LML).
L’analyse descendante avec retour en arrière ne fonctionne pas avec une G. Récursive à
gauche.

début est nord ouest nord est est sud est fin
1 2 3 4 5 6 7 8 9 10
Nous pouvons prédire les choix corrects qui vont mener à l’acceptation de ce texte, comme on sait d’emblée
que ce texte sera accepté. M fin (9,1)
L fin (9,2)
M L fin (8,4)
L fin (8,1)
M L fin (7,1)
L fin (7,1)
M L fin (6,1)
L fin (6,1)
M L fin (5,3)
L fin (5,1)
M L fin (4,2)
L fin (4,1)
M L fin (3,3)
L fin (3,1)
M L fin (2,1)
L fin (2,1)
S (1,1)

7
Pas Cible Index Pile Action
1 S 1 Vide Remplacer S chx=1
2 début L fin 1 S (1,1) Comparer et avancer
3 L fin 2 S (1,1) Remplacer L chx=1
L fin (2,1)
4 M L fin 2 Remplacer M chx=1
S (1,1)
M L fin (2,1)
5 est L fin 2 L fin (2,1) a Comparer et avancer
S (1,1)
6 L fin 3 a Remplacer L chx=1
L fin (3,1)
7 M L fin 3 Remplacer M chx=1
a
M L fin (3,1)
Comparer, echec et retour en
8 est L fin 3 L fin (3,1)
arrière (RA)
a
L fin (3,1)
9 M L fin 3 Remplacer M chx=2
a
M L fin (3,2)
10 ouest L fin 3 L fin (3,1) Comparer, echec et RA
a
L fin (3,1)
11 M L fin 3 Remplacer M chx=3
a
M L fin (3,3)
12 nord L fin 3 L fin (3,1) b Comparer et avancer
a
13 L fin 4 b Remplacer L chx=1
...............................
M L fin (8,4)
L fin (8,1)
M L fin (7,1)
L fin (7,1)
M L fin (6,1)
n L fin 9 L fin (6,1) c Remplacer L chx=1
M L fin (5,3)
L fin (5,1)
M L fin (4,2)
L fin (4,1)
b
L fin (9,1)
n+1 M L fin 9 Remplacer M chx=1
c
M L fin (9,1)
n+2 est L fin 9 L fin (9,1) Comparer et avancer
c
M L fin (9,1)
n+3 L fin 10 L fin (9,1) Remplacer L chx=1
c
L fin (10,1)
M L fin (9,1) d
n+4 M L fin 10 Remplacer M chx=1
L fin (9,1)
c

8
Pas Cible Index Pile Action
M L fin (10,1)
n+5 est L fin 10 Comparer, Echec et RA
d
n+6 M L fin 10 d Remplacer M chx=2
M L fin (10,2)
n+7 ouest L fin 10 Comparer, Echec et RA
d
n+8 M L fin 10 d Remplacer M chx=3
M L fin (10,3)
n+9 nord L fin 10 Comparer, Echec et RA
d
n+10 M L fin 10 d Remplacer M chx=4
M L fin (10,4)
n+11 sud L fin 10 Comparer, Echec et RA
d
L fin (10,1)
M L fin (9,1) d
n+12 M L fin 10 Pas de règles donc Echec et RA
L fin (9,1)
c
M L fin (9,1)
n+13 L fin 10 L fin (9,1) Remplacer L chx=2
c
L fin (10,2)
M L fin (9,1) e
n+14 M fin 10 Remplacer M chx=1
L fin (9,1)
c
M fin (10,1)
n+15 est fin 10 Comparer, Echec et RA
e
n+16 M fin 10 e Remplacer M chx=2
M fin (10,2)
n+17 ouest fin 10 Comparer, Echec et RA
e
n+18 M fin 10 e Remplacer M chx=3
M fin (10,3)
n+19 nord fin 10 Comparer, Echec et RA
e
n+20 M fin 10 e Remplacer M chx=4
M fin (10,4)
n+21 sud fin 10 Comparer, Echec et RA
e
L fin (10,2)
M L fin (9,1) e
n+22 M fin 10 Pas de règles donc Echec et RA
L fin (9,1)
c
M L fin (9,1)
n+23 L fin 10 L fin (9,1) Pas de règles donc Echec et RA
c
L fin (9,1)
n+24 M L fin 9 Remplacer M chx=2
c
M L fin (9,2)
n+25 ouest L fin 9 L fin (9,1) Comparer, Echec et RA
c
L fin (9,1)
n+26 M L fin 9 Remplacer M chx=3
c
M L fin (9,3)
n+27 nord L fin 9 L fin (9,1) Comparer, Echec et RA
c

9
 Pas Cible Index Pile Action
L fin (9,1)
n+28 M L fin Remplacer M chx=4
c
M L fin (9,4)
n+29 sud L fin 9 L fin (9,1) Comparer, Echec et RA
c
L fin (9,1)
n+30 M L fin 9 Pas de règles donc Echec et RA
c
L fin
n+31 9 c Remplacer M chx=2
L fin (9,2)
n+32 M fin 9 Remplacer M chx=1
c
M fin (9,1)
n+33 est fin 9 L fin (9,2) Comparer et avancer
c
M fin (9,1)
n+34 fin 10 L fin (9,2) Comparer et avancer
c
M fin (9,1)
L fin (9,2)
M L fin (8,4)
L fin (8,1)
M L fin (7,1)
L fin (7,1)
M L fin (6,1)
L fin (6,1)
n+35 ∅ - M L fin (5,3) Arrêt avec succès
L fin (5,1)
M L fin (4,2)
L fin (4,1)
M L fin (3,3)
L fin (3,1)
M L fin (2,1)
L fin (2,1)
S (1,1)

5. Est-il possible d’analyser le mot w par la méthode ascendante ? Si oui faites cette analyse et sinon
proposer une solution pour le faire.
Non, il n’est pas possible d’analyser w par la méthode ascendante car cette grammaire est une
grammaire récursive à droite. Pour pouvoir faire cette analyse, il faut transformer cette grammaire
en une grammaire récursive à gauche. Pour ce faire, il suffit de modifier la règle n°2 : : LLM.
L’analyse ascendante ne fonctionne qu’avec une G. Récursive à gauche.

→ é
Transformation de G :

: → |
→ !" |# !" | #$ |"

10
Pas Cible Action
1 ↑début est nord ouest nord est est sud est fin Avancer pointeur
2 début ↑ est nord ouest nord est est sud est fin Avancer pointeur
3 début est ↑ nord ouest nord est est sud est fin Réduire est en M
4 début M↑ nord ouest nord est est sud est fin Réduire M en L
5 début L↑ nord ouest nord est est sud est fin Avancer pointeur
6 début L nord ↑ ouest nord est est sud est fin Réduire nord en M
7 début L M ↑ ouest nord est est sud est fin Réduire LM en L
8 début L ↑ ouest nord est est sud est fin Avancer pointeur
9 début L ouest ↑ nord est est sud est fin Réduire ouest en M
10 début L M ↑ nord est est sud est fin Réduire LM en L
11 début L ↑ nord est est sud est fin Avancer pointeur
12 début L nord ↑ est est sud est fin Réduire nord en M
13 début L M ↑ est est sud est fin Réduire LM en L
14 début L ↑ est est sud est fin Avancer pointeur
15 début L est ↑ est sud est fin Réduire est en M
16 début L M ↑ est sud est fin Réduire LM en L
17 début L ↑ est sud est fin Avancer pointeur
18 début L est ↑ sud est fin Réduire est en M
19 début L M ↑ sud est fin Réduire LM en L
20 début L ↑ sud est fin Avancer pointeur
21 début L sud ↑ est fin Réduire sud en M
22 début L M ↑ est fin Réduire LM en L
23 début L ↑ est fin Avancer pointeur
24 début L est ↑ fin Réduire est en M
25 début L M ↑ fin Réduire LM en L
26 début L ↑ fin Avancer pointeur
27 début L fin ↑ Réduire début L fin en S
28 S↑ Arrêt avec succès

11
XåxÜv|vx F
→ ()*( |
⎧
) → +*) | ,
:
⎨* → (- | +-
⎩- → | ,
1. Vérifier si la grammaire G est LL(1).
G n’est pas ambiguë, n’est pas récursive à gauche et elle est factorisée à gauche donc G est
très probablement LL(1).
2. Donner les éléments PEMIER et SUIVANT.
P(S) ={a,b}
P(T) ={c,ε}
P(U) ={a,b}
P(W) ={d,ε}

Pour chercher les éléments Suivant, il faut appliquer l’algorithme suivant :

1. Ajouter un marqueur de fin de chaîne (symbole $ par exemple) à SUIVANT(S)

(où S est l’axiome de départ de la grammaire)
2. Pour chaque production AαBβ où B est un non terminal, alors ajouter le
contenu de PREMIER(β) à SUIVANT(B), sauf ε
3. Pour chaque production AαB, alors ajouter SUIVANT(A) à SUIVANT(B)
4. Pour Chaque production AαBβ avec
ε ∈ PREMIER(β), ajouter SUIVANT(A) à SUIVANT(B). Recommencer à partir
de l’étape 3 jusqu’à ce qu’on n’ajoute rien de nouveau dans les ensembles
suivants.

α B β α B
S → aTUa aT U a T → cTUS cTU S
S → aTUa a T Ua U → aW a W
T → cTUS c T US U → bcW bc W
T → cTUS cT U S W → dS d S

Etape 1:
S(S)={$}
S(T)={}
S(U)={}
S(W)={}
Etape 2:
S(S)={$ }
S(T)={ a,b}
S(U)={ a,b}
S(W)={ }
Etape 3:
S(S)={$, a,b}
S(T)={ a,b }
S(U)={ a,b }
S(W)={ a,b}
Etape 4:
Rien à rajouter car nous n’avons dans aucun cas ε ∈ PREMIER(β).

12
 3. Construire la table d’analyse pour cette grammaire
a b c d $
S S → aTUa S → b
T T→ε T→ε T → cTUS
U U → aW U → bcW
W W→ε W→ε W → dS

4. Les mots aadba et acbcabcaaba appartiennent-ils à L(G) ?

Pile Texte Sortie
$S aadba$ S → aTUa
$aUTa aadba$ T→ε
$aU adba$ U → aW
$aWa adba$ W → dS
$aSd dba$ S→b
$ab ba$
$ $ Arrêt avec succès

Pile Texte Sortie

$S acbcabcaaba$ S → aTUa
$aUTa acbcabcaaba$ T → cTUS
$aUSUTc cbcabcaaba$ T→ε
$aUSU bcabcaaba$ U → bcW
$aUSWcb bcabcaaba$ W→ε
$aUS abcaaba$ S → aTUa
$aUaUTa abcaaba$ T→ε
$aUaU bcaaba$ U → bcW
$aUaWcb bcaaba$ W→ε
$aUa aaba$ U → aW
$aWa aba$ W→ε
$a ba$ a est différent de
b donc arrêt avec
rejet.

XåxÜv|vx G
→( | | ())
:.
) → ), |
1. La grammaire est-elle LL(1) ?
G n’est pas LL(1) car elle est récursive à gauche.

Eliminer la récursivité à gauche et factoriser si nécessaire. Nous avons uniquement la

récursivité immédiate.
Rappelons le théorème de l’élimination de la récursivité immédiate à gauche :
Nous remplaçons A Aα | β par A βA’
A’ α A’ | ε
13
 ⎧ →(| 3 ())
: ) → )′
⎪

⎪) → , ) 5 ,
⎨ ′ ′
⎩
2. Montrer que la nouvelle grammaire est LL(1). Donner la table d’analyse.
G n’est pas ambiguë, n’est pas récursive à gauche et elle est factorisée à gauche donc G est
très probablement LL(1).

P(S) ={a,b,(}
P(T) ={ a,b,(}
P(T’) ={,,ε}

α B β α B
S → (T) ( T ) T → S T’ S T’
T → ,ST’ , S T’

Etape 1:
S(S)={$}
S(T)={}
S(T’)={}
Etape 2:
S(S)={$, ,}
S(T)={ )}
S(T’)={ }
Etape 3:
S(S)={$, ,}
S(T)={ )}
S(T’)={ )}
Etape 4:
S(S)={$, ,, )}
S(T)={ )}
S(T’)={ )}
Etape 3’:
S(S)={$, ,, )}
S(T)={ )}
S(T’)={ )}
Etape 4’:
S(S)={$, ,, )}
S(T)={ )}
S(T’)={ )}

Nous avons fait deux itérations entre les étapes 3 et 4. Les ensembles se sont stabilisés.
Donc arrêt.
a b ( , ) $
S S→a S→b S → (T)
T T → ST’ T → ST’ T → ST’
T’ T’→ ,ST’ T → ε
3. Expliciter le comportement de l’analyseur sur le mot (a,(b,a),a).
14
 Pile Texte Sortie
$S (a,(b,a),a)$ S → (T)
$)T( (a,(b,a),a)$ T → ST’
$)T’S a,(b,a),a)$ S→a
$)T’a a,(b,a),a)$ T’→ ,ST’
$)T’S, ,(b,a),a)$ S → (T)
$)T’)T( (b,a),a)$ T → ST’
$)T’)T’S b,a),a)$ S→b
$)T’)T’b b,a),a)$ T’→ ,ST’
$)T’)T’S, ,a),a)$ S→a
$)T’)T’a a),a)$ T→ε
$)T’) ),a)$ T’→ ,ST’
$)T’S, ,a)$ S→a
$)T’a a)$ T→ε
$) )$
$ $ Arrêt avec succès

XåxÜv|vx H
7→7 8 | 8
: 68 → 8 9 | 9
9→ 9 | (7) | : ( | ( ;

1. Eliminer la récursivité à gauche et factoriser si nécessaire.

G n’est pas LL(1) car elle est récursive à gauche.
Nous avons uniquement la récursivité immédiate.
Rappelons le théorème de l’élimination de la récursivité immédiate à gauche :
Nous remplaçons A Aα | β par A βA’

7 → 87′
A’ α A’ | ε
⎧7′ → 8 7′ | ,
⎪
: 8 → 98′
⎨8′ → 9 8′ | ,
⎪
⎩ 9→ 9 | (7) | : ( | ( ;

1. Donner la table d’analyse de la nouvelle grammaire. Est-elle LL(1) ?

G n’est pas ambiguë, n’est pas récursive à gauche et elle est factorisée à gauche donc G est
très probablement LL(1).

P(A) ={non, (, vrai, faux }

P(A’) ={ou, ε}
P(B) ={ non, (, vrai, faux }
P(B’)= {et,ε}
P(C)= {non, (, vrai, faux}

α B β α B
A’ →ou B A’ ou B A’ A → B A’ B A’
B’ → et C B’ et C B’ B → C B’ C B’
C→(A) ( A )

15
Etape 1:
S(A) ={$ }
S(A’) ={ }
S(B) ={ }
S(B’)= { }
S(C)= { }
Etape 2:
S(A) ={$ )}
S(A’) ={ }
S(B) ={ ou}
S(B’)= { }
S(C)= { et}
Etape 3:
S(A) ={$, ) }
S(A’) ={ $,)}
S(B) ={ ou }
S(B’)= { ou}
S(C)= { et }
Etape 4:
S(A) ={$, ) }
S(A’) ={ $,) }
S(B) ={ ou, $,)}
S(B’)= { ou }
S(C)= { et, ou}
Etape 3’:
S(A) ={$, ) }
S(A’) ={ $,) }
S(B) ={ ou, $,) }
S(B’)= { ou, $,)}
S(C)= { et, ou }
Etape 4’:
S(A) ={$, ) }
S(A’) ={ $,) }
S(B) ={ ou, $,) }
S(B’)= { ou, $,) }
S(C)= { et, ou, $,)}
Etape 3’’:
S(A) ={$, ) }
S(A’) ={ $,) }
S(B) ={ ou, $,) }
S(B’)= { ou, $,) }
S(C)= { et, ou, $,) }
Etape 4’’:
S(A) ={$, ) }
S(A’) ={ $,) }
S(B) ={ ou, $,) }
S(B’)= { ou, $,) }
S(C)= { et, ou, $,) }
Nous avons fait 3 itérations entre les étapes 3 et 4. Les ensembles se sont stabilisés.

16
 non ( vrai faux ) et ou $
A A → BA’ A → BA’ A → BA’ A → BA’
A’ A’ → ε A’ → ouBA’ A’ → ε
B B → CB’ B → CB’ B → CB’ B → CB’
B’ B’ → ε B’ → etCB’ B’ → ε B’ → ε
C C → nonC C →(A) C →vrai C →faux

2. Expliciter le comportement de l’analyseur sur le mot non (vrai ou faux) et vrai

Pile Texte Sortie

$A (vrai ou faux) et vrai $ A → BA’
$A’B (vrai ou faux) et vrai $ B → CB’
$A’B’C (vrai ou faux) et vrai $ C →(A)
$A’B’)A( (vrai ou faux) et vrai $ A → BA’
$A’B’)A’B vrai ou faux) et vrai $ B → CB’
$A’B’)A’B’C vrai ou faux) et vrai $ C →vrai
$A’B’)A’B’vrai vrai ou faux) et vrai $ B’ → ε
$A’B’)A’ ou faux) et vrai $ A’ → ouBA’
$A’B’)A’Bou ou faux) et vrai $ B → CB’
$A’B’)A’B’C faux) et vrai $ C →faux
$A’B’)A’B’faux faux) et vrai $ B’ → ε
$A’B’)A’ ) et vrai $ A’ → ε
$A’B’) ) et vrai $ B’ → etCB’
$A’B’Cet et vrai $ C →vrai
$A’B’vrai vrai $ B’ → ε
$A’ $ A’ → ε
$ $ Arrêt avec succès

17