si alors ∨ ∧ faux vrai # Insts Inst Cond

I0 D3 I1 I2
I1 D3 ACC I4
I2 R1 R1
I3 D6 D7 I5
I4 R2 R2
I5 D8 D9 D10
I6 R6 R6 R6
I7 R7 R7 R7
I8 D3 I11
I9 D6 D7 I12
I10 D6 D7 I13
I11 R3 R3
I12 R4 R4 D10
I13 R5 R5 R5
La table d’analyse est mono-définie ⇒ G est LR(1)

2eme solution :
Changement de la grammaire :
Cond −→ Cond ∨ A | A
A −→ A ∧ B | B
B −→ faux | vrai

Solution d’exercice N ◦ 5 :

G1 G2 G3 G4 G5
E −→ F ↑ E | F E −→ E − T | T E −→ E ↑ F | F E −→ E − T | T E −→ E ↑ F | F
F −→ F × G | G T −→ T × F | F F −→ F × G | G T −→ T × F | F F −→ G × F | G
G −→ G − H | H F −→ F ↑ G | G G −→ G − H | H F −→ G ↑ F | G G −→ H − G | H
(a) H −→ (E) | nbr G −→ (E) | nbr H −→ (E) | nbr G −→ (E) | nbr H −→ (E) | nbr
Non car : Non car : Non car : Oui Non car :
Priorité inversée associativité inversée Priorité inversée Priorité inversée
pour ↑ et associativité et associativité inversée
inversée pour ↑
(b) E −→ E − F | F
(1) (2)
F −→ G ↑ F | G
(3) (4)
G −→ (E) | nbr
(5) (6)

(c) Construction de la collection d’ensembles d’items LR(1) :

I0 = Ferm ( E’ −→ . E, #) =[ E’ −→ . E, #] [E −→ . E - F, #|-] [E −→ . F , #|-] [F −→ . G ↑ F , #|-] [F −→ . G , #|-] [G −→ .

(E) , #|-|↑] [G −→ . nbr , #|-|↑]
I1 = GOTO (I0 ,E) = [ E’ −→ E. , #] [E −→ E . - F, #|-]
I2 = GOTO (I0 ,F) = [E −→ F ., #|-]
I3 = GOTO (I0 ,G) = [F −→ G. ↑ F , #|-] [F −→ G . , #|-]
I4 = GOTO (I0 ,() = [G −→ (.E) , #|-|↑] [E −→ . E - F, )|-] [E −→ . F , )|-] [F −→ . G ↑ F , )|-] [F −→ . G , )|-] [G −→ . (E) ,
)|-|↑] [G −→ . nbr , )|-|↑]
I5 = GOTO (I0 ,nbr) = [G −→ nbr. , #|-|↑]
I6 = GOTO (I1 ,-) = [E −→ E - . F, #|-] [F −→ . G ↑ F , #|-] [F −→ . G , #|-] [G −→ . (E) , #|-|↑] [G −→ . nbr , #|-|↑]
I7 = GOTO (I3 , ↑) = [F −→ G ↑ . F , #|-] [F −→ . G ↑ F , #|-] [F −→ . G , #|-] [G −→ . (E) , #|-|↑] [G −→ . nbr , #|-|↑]
I8 = GOTO (I4 ,E) = [G −→ (E.) , #|-|↑] [E −→ E. - F, )|-]
I9 = GOTO (I4 ,F) =[E −→ F. , )|-]
I10 = GOTO (I4 ,G) =[F −→ G . ↑ F , )|-] [F −→ G. , )|-]
I11 = GOTO (I4 ,() = [G −→ (.E) , )|-|↑] [E −→ . E - F, )|-] [E −→ . F , )|-] [F −→ . G ↑ F , )|-] [F −→ . G , )|-] [G −→ . (E) ,
)|-|↑] [G −→ . nbr , )|-|↑]

TD N ◦ 2 Compilation Page 11/12 2020/2021