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.
__TOC__
Definición formal
G = (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 Ejemplo 1
tabla de precedencia: SabcSabc
Categoría:Lenguajes formales