a) represente sob a forma gramatical o conjunto:
L = { an bm an | 2n = m, n >= 0 }
b) a gramática que obteve é LL(1)? Justifique.
c) Apresente uma sequência de derivações a realizar, par a obter a expressão aabbbbaa
a) A gramática indicada não é do tipo 3 porque possui autocontenção. Também não é do tipo 2 porque a condição imposta só pode ser satisfeita com dependência de contexto. Por estes motivos a gramática é de tipo 1.
S' →
S | ϵ
S →
aSBA | abbA
AB →
XB
XB →
XA
XA →
BA
bB →
bbb
bA →
ba
aA →
aa
b) Uma gramática do tipo 1 não pode ser LL(1)
c) S' ⇒1 S ⇒2 aSBA ⇒3 aabbABA ⇒4 aabbXBA ⇒5 aabbXAA ⇒6 aabbBAA ⇒7 aabbbbAA ⇒8 aabbbbaA ⇒9 aabbbbaa
Ultima alteração: sexta-feira, 22 de Dezembro de 2000 às 20:33