1COP020 - Lista de Exercı́cios 12

1. P Exercı́cio Teórico: Considere a gramática apresentada a seguir:

S→B $
B → id P
B → id ( E ]
P →
P →(E )
E→B
E→B ,E

(a) Determine se a gramática é LR(0) e/ou SLR. Se a gramática for LR(0) e/ou SLR, verifique para cada
cadeia a seguir se a mesma é gerada pela gramática. Se a gramática não for LR(0) nem SLR, então,
para cada cadeia, diga o seguinte: N~ao é possı́vel realizar tal verificaç~ ao.
(b) id(id)$
(c) id(id(id])$
(d) id(id(id))$

P
(e) id(id(id)]$

2. Exercı́cio Teórico: Considere a gramática apresentada a seguir:

S→E $
E→E +T
E→T
T →T ∗F
T →F
F →(E )
F → id

(a) Determine se a gramática é LR(0) e/ou SLR. Se a gramática for LR(0) e/ou SLR, verifique para cada
cadeia a seguir se a mesma é gerada pela gramática. Se a gramática não for LR(0) nem SLR, então,
para cada cadeia, diga o seguinte: N~ao é possı́vel realizar tal verificaç~ ao.
(b) id + id * id $
(c) id * + id $
(d) id * id ( $
(e) (id * id + id * id) $
3. P Exercı́cio Teórico: Considere a gramática apresentada a seguir:
S→E $
E → T E′
E′ → + T E′
E′ →
T → F T′
T′ → ∗ F T′
T′ →
F →(E )
F → id

(a) Determine se a gramática é LR(0) e/ou SLR. Se a gramática for LR(0) e/ou SLR, verifique para cada
cadeia a seguir se a mesma é gerada pela gramática. Se a gramática não for LR(0) nem SLR, então,
para cada cadeia, diga o seguinte: N~ao é possı́vel realizar tal verificaç~ ao.
(b) id + id * id $
(c) id * + id $
(d) id * id ( $

P
(e) (id * id + id * id) $

4. Exercı́cio Teórico: Considere a gramática apresentada a seguir:

S → Goal $
Goal → List
List → List P air
List → P air
P air → ( P air )
P air → ( )

(a) Determine se a gramática é LR(0) e/ou SLR. Se a gramática for LR(0) e/ou SLR, verifique para cada
cadeia a seguir se a mesma é gerada pela gramática. Se a gramática não for LR(0) nem SLR, então,
para cada cadeia, diga o seguinte: N~ao é possı́vel realizar tal verificaç~ ao.
(b) (())()$
(c) ()())$
(d) (((()$
(e) ((()())()())$