IFT313 Solutions TP6 – Été 2010 Département d’informatique Eric Beaudry Département d’informatique Université de Sherbrooke Solutions TP6 – Été 2010
Énoncé Étant donné la grammaire G = ({S, A, B, C}, {a, b, c}, P, S), telle que P = { 1. S ® aSb 2. S ® cb 3. S ® B 4. B ® C 5. C® c } …
1. AFD LR(0) S’ ® ●S S® ●aSb S® ●cb S® ●B B® ●C C® ●c 4 S® B● B 2 S® a●Sb 1 S’® S● 3 S® c●b C® c● 7 S® cb● 8 S® aSb● 6 S® aS●b a S c b 5 B® C● C 2. La grammaire n’est pas LR(0) à cause du conflit shift/reduce dans l’état 3.
3. Table d’analyse SLR(1) action/goto goto a b c $ S B C s2 s3 1 4 5 acc 2 6 3 s7/r5 r5 r3 r4 s8 7 r2 8 r1 1. S ® aSb 2. S ® cb 3. S ® B 4. B ® C 5. C® c 4. La grammaire n’est pas SLR(1) à cause du conflit shift/reduce dans l’entrée [3,b].
5. AFD LR(1) C a C B B B C a a c c c S S b b b S b 15 [B® C●, b] 8 2 [S® B●, $] 14 [B® C●, $] C B B 9 [S® a●Sb, b] [S® ●aSb, b] [S® ●cb, b] [S® ●B, b] [B® ●C, b] [C® ●c, b] B 4 [S® a●Sb, $] [S® ●aSb, b] [S® ●cb, b] [S® ●B, b] [B® ●C, b] [C® ●c, b] C [S’®●S, $] [S® ●aSb, $] [S® ●cb, $] [S® ●B, $] [B® ●C, $] [C® ●c, $] a a c c 3 [S® c●b, $] [C® c●, $] c S 6 [S® c●b, b] [C® c●, b] 12 [S® aS●b, b] S b 1 [S’® S●, $] b 5 [S® cb●, $] b 10 [S® cb●, b] 13 [S® aSb●, b] S 11 [S® aSb●, $] b 7 [S® aS●b, $]
6. Table d’analyse LR(1) action/goto goto a b c $ S B C s4 s3 1 2 14 acc r3 3 s5 r5 4 s9 s6 7 8 15 5 r2 6 s10 r5 s11 9 12 10 11 r1 s13 13 r4 1. S ® aSb 2. S ® cb 3. S ® B 4. B ® C 5. C® c 7. La grammaire n’est pas LR(1) à cause du conflit shift/reduce dans l’entrée [6,b].
8. AFD LALR(1) C C C 2 [S® B●, $/b] B B 4 [S® a●Sb, $/b] a [S® ●cb, b] [S® ●B, b] [B® ●C, b] [C® ●c, b] a [S’®●S, $] [S® ●aSb, $] [S® ●cb, $] [S® ●B, $] [B® ●C, $] [C® ●c, $] C 8 [B® C●, $/b] C a C c c S 3 [S® c●b, $/b] [C® c●, $/b] 6 [S® aS●b, $/b] S 1 [S’® S●, $] b b 7 [S® aSb●, $/b] 5 [S® cb●, $/b]
9. Table d’analyse LALR(1) action/goto goto a b c $ S B C s4 s3 1 2 8 acc r3 3 s5 r5 r5 4 6 5 r2 s7 7 r1 r4 1. S ® aSb 2. S ® cb 3. S ® B 4. B ® C 5. C® c 10. La grammaire n’est pas LALR(1) à cause du conflit shift/reduce dans l’entrée [3,b]. On s’y attend puisqu’elle n’est pas LR(1).