Diferencia entre revisiones de «Gramática de precedencia simple»
Apariencia
Contenido eliminado Contenido añadido
m Revertidos los cambios de 95.16.160.70 a la última edición de Muro Bot |
|||
Línea 10: | Línea 10: | ||
* No hay [[Reglas Inútiles|reglas inútiles]] (símbolos inalcanzables or reglas inproductivas) |
* No hay [[Reglas Inútiles|reglas inútiles]] (símbolos inalcanzables or reglas inproductivas) |
||
* Para cada par de símbolos''X'', ''Y'' (''X'', ''Y'' <math>\in</math> (''N'' ∪ Σ)) sólo hay una [[Relación de precedencia Wirth-Weber]]. |
* Para cada par de símbolos''X'', ''Y'' (''X'', ''Y'' <math>\in</math> (''N'' ∪ Σ)) sólo hay una [[Relación de precedencia Wirth-Weber]]. |
||
* G es [[Gramática univocamente inversible|univocamente inversible]] |
* G es [[Gramática univocamente inversible|univocamente inversible]] |
||
= Ejemplos = |
= Ejemplos = |
Revisión del 20:18 26 ene 2010
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
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 or reglas inproductivas)
- Para cada par de símbolosX, Y (X, Y (N ∪ Σ)) sólo hay una Relación de precedencia Wirth-Weber.
- G es univocamente inversible
Ejemplos
Ejemplo 1
tabla de precedencia:
S | a | b | c | |
S | ||||
a | ||||
b | ||||
c |