Apresente a Análise Preditiva Tabular, com recuperação de erros em modo pânico, da entrada + - * / x y z z sobre a gramática a seguir.
G = ({A, B, C}, {+, -, *, /, x, y, z}, P, A)
P = {A → BAA | C
B → + | - | * | /
C → x | y | z}
Eliminação de Recursividade à Esquerda:
G = ({A, B, C}, {+, -, *, /, x, y, z}, P, A)
P = {A → BAA | C
B → + | - | * | /
C → x | y | z}
Fatoração à Esquerda:
G = ({A, B, C}, {+, -, *, /, x, y, z}, P, A)
P = {A → BAA | C
B → + | - | * | /
C → x | y | z}
Conjuntos FIRST(α) e FOLLOW(A):
FIRST(A) = {+, -, *, /, x, y, z}
FIRST(B) = {+, -, *, /}
FIRST(C) = {x, y, z}
FOLLOW(A) = {+, -, *, /, x, y, z, $}
FOLLOW(B) = {+, -, *, /, x, y, z}
FOLLOW(C) = {+, -, *, /, x, y, z, $}
Tabela de Análise Preditiva:
+ | - | * | / | x | y | z | $ | |
---|---|---|---|---|---|---|---|---|
A | A → BAA | A → BAA | A → BAA | A → BAA | A → C | A → C | A → C | sinc |
B | B → + | B → - | B → * | B → / | sinc | sinc | sinc | sinc |
C | sinc | sinc | sinc | sinc | C → x | C → y | C → z | sinc |
Analisador Preditivo Tabular:
Pilha | Entrada | Derivação |
---|---|---|
$ A | + - * / x y z z $ | A → BAA |
$ A A B | + - * / x y z z $ | B → + |
$ A A + | + - * / x y z z $ | |
$ A A | - * / x y z z $ | A → BAA |
$ A A A B | - * / x y z z $ | B → - |
$ A A A - | - * / x y z z $ | |
$ A A A | * / x y z z $ | A → BAA |
$ A A A A B | * / x y z z $ | B → * |
$ A A A A * | * / x y z z $ | |
$ A A A A | / x y z z $ | A → BAA |
$ A A A A A B | / x y z z $ | B → / |
$ A A A A A / | / x y z z $ | |
$ A A A A A | x y z z $ | A → C |
$ A A A A C | x y z z $ | C → x |
$ A A A A x | x y z z $ | |
$ A A A A | y z z $ | A → C |
$ A A A C | y z z $ | C → y |
$ A A A y | y z z $ | |
$ A A A | z z $ | A → C |
$ A A C | z z $ | C → z |
$ A A z | z z $ | |
$ A A | z $ | A → C |
$ A C | z $ | C → z |
$ A z | z $ | |
$ A | $ | erro |
$ | $ | aceita |