Tutoriais - CompiladoresApresente a Análise de Precedência de Operadores, com tratamento de erros, da entrada (x (x + x) . (x) sobre a gramática a seguir.
G = ({A, B, C}, {x, +, ., (, )}, P, A)
P = {A → (B) | x
B → B+C | C
C → C.A | A}| x | + | . | ( | ) | $ | |
|---|---|---|---|---|---|---|
| x | erro 2 | > | > | erro 2 | > | > |
| + | < | > | < | < | > | > |
| . | < | > | > | < | > | > |
| ( | < | < | < | < | = | erro 1 |
| ) | erro 2 | > | > | erro 2 | > | > |
| $ | < | < | < | < | erro 3 | aceita |
Erros na consulta a matriz:
erro 1 - empilha ) e emite a mensagem: falta de parêntese à direita.
erro 2 - insere + na entrada e emite a mensagem: operador esperado.
erro 3 - descarta ) da entrada e emite a mensagem: parêntese direito ilegal.
Erros na redução do handle:
erro 4 - se + ou . definem um handle, verificar se existem variáveis em ambos os lados do operador. Em caso negativo, executar a redução e emitir a mensagem: falta expressão.
erro 5 - se o par ( ) deve ser reduzido, verificar se existe uma variável entre os parênteses. Em caso negativo, executar a redução e emitir a mensagem: expressão nula entre parênteses.
| Pilha | Relação | Entrada | Ação | Handle |
|---|---|---|---|---|
| $ | < | (x (x + x) . (x) $ | empilha ( | |
| $ ( | < | x (x + x) . (x) $ | empilha x | |
| $ ( x | erro 2 | (x + x) . (x) $ | insere + | |
| $ ( x | > | + (x + x) . (x) $ | reduz | A → x |
| $ ( A | < | + (x + x) . (x) $ | empilha + | |
| $ ( A + | < | (x + x) . (x) $ | empilha ( | |
| $ ( A + ( | < | x + x) . (x) $ | empilha x | |
| $ ( A + ( x | > | + x) . (x) $ | reduz | A → x |
| $ ( A + ( A | < | + x) . (x) $ | empilha + | |
| $ ( A + ( A + | < | x) . (x) $ | empilha x | |
| $ ( A + ( A + x | > | ) . (x) $ | reduz | A → x |
| $ ( A + ( A + A | > | ) . (x) $ | reduz | B → B+C |
| $ ( A + ( A | = | ) . (x) $ | empilha ) | |
| $ ( A + ( A ) | > | . (x) $ | reduz | A → (B) |
| $ ( A + A | < | . (x) $ | empilha . | |
| $ ( A + A . | < | (x) $ | empilha ( | |
| $ ( A + A . ( | < | x) $ | empilha x | |
| $ ( A + A . ( x | > | ) $ | reduz | A → x |
| $ ( A + A . ( A | = | ) $ | empilha ) | |
| $ ( A + A . ( A ) | > | $ | reduz | A → (B) |
| $ ( A + A . A | > | $ | reduz | C → C.A |
| $ ( A + A | > | $ | reduz | B → B+C |
| $ ( A | erro 1 | $ | empilha ) | |
| $ ( A ) | > | $ | reduz | A → (B) |
| $ A | aceita | $ |
Ybadoo - Soluções em Software Livre • Copyright 2009/2026 • 