EXERCÍCIOS - Análise Descendente LL(1)

Linguagens Formais e Autômatos - 2023-2

Dupla (fiz individual): Pedro Machado Gomes Caixeta
TIA: 42105811
Observação 1: Este exercício não deve ser manuscrito e nem conter imagens com detalhes manuscritos.
Observação 2: Deve ser mantida a formatação do texto e os enunciados dos exercícios propostos.
Observação 3: Preencher as respostas diretamente neste documento (e não usar figuras).

1. Calcular os valores de nullable, FIRST e FOLLOW para a seguinte gramática:

nullable FIRST FOLLOW

S → aAa$ S False {a} $
A → cbAb | B A True {c,d,} {a,b}
B → dB |  B True {d,} {a,b}
2. Montar a tabela preditiva descendente para a gramática do exercício anterior.
Ela é uma tabela do tipo LL(1) ?
a b c d $
S S → aAa ERRO ERRO ERRO ERRO

A A → B A → B cbAb A → B ERRO

B B →  B →  ERRO B → dB ERRO

3. Utilizando a tabela LL(1) construída no exercício anterior, mostre a análise para a entrada acbddba$.

Pilha Entrada Ação

S$ acbddba$ S -> aAa
aAa$ acbddba$ Casar a
Aa$ cbddba$ A -> cbAb
cbAbAa$ cbddba$ Casar c
bAbAa$ bddba$ Casar b
AbAa$ ddba$ A -> B
BbAa$ ddba$ B -> dB
dBbAa$ ddba$ Casar d
BbAa$ dba$ B -> dB
dBbAa$ dba$ Casar d
BbAa$ ba$ B -> 
bAa$ ba$ Casar b
Aa$ a$ A -> B
Ba$ a$ B -> 
a$ a$ Casar a
$ $ Casar $, sucesso

Linguagens Formais e Autômatos - 2023-2