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 |