Gramática de precedencia simple
Una gramática de precedencia simple es un tipo de Gramática libre de contexto que puede ser reconocida por un Analizador sintáctico de precedencia simple.
Definición formal
editarG = (N, Σ, P, S) es una gramática de precedencia simple si todas las producciones en P tienen las siguientes características:
- No hay reglas borradoras (producciones ε)
- No hay reglas inútiles (símbolos inalcanzables o reglas improductivas)
- Para cada par de símbolosX, Y (X, Y (N ∪ Σ)) sólo hay una Relación de precedencia Wirth-Weber.
- G es unívocamente inversible, es decir, no tiene dos reglas con el mismo lado derecho
Ejemplos
editarEjemplo 1
editar
tabla de precedencia:
S | a | b | c | |
S | ||||
a | ||||
b | ||||
c |