Gramática de precedencia simple

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.

Contenido

1 Definición formal

2 Ejemplos

2.1 Ejemplo 1

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 $\in$ (N ∪ Σ)) sólo hay una Relación de precedencia Wirth-Weber.

G es univocamente inversible, es decir, no tiene dos reglas con el mismo lado derecho

Ejemplo 1

$S \to aSSb$

$S \to c$

tabla de precedencia:

S a b c

S $\dot =$ $\lessdot$ $\dot =$ $\lessdot$

a $\dot =$ $\lessdot$ $\lessdot$

b $\gtrdot$ $\gtrdot$ $\gtrdot$ $\gtrdot$

c $\gtrdot$ $\gtrdot$ $\gtrdot$ $\gtrdot$

Categoría:
Lenguajes formales

Игры ⚽ Поможем сделать НИР

Analizador sintáctico de precedencia simple — Saltar a navegación, búsqueda En el área de los lenguajes formales, un analizador de sintaxis por precedencia simple es un tipo de analizador sintáctico ascendente para gramáticas libres de contexto que pueden ser utilizados para reconocer… … Wikipedia Español
Gramática del español — Estatua del gramático Antonio de Nebrija en la Biblioteca Nacional de Madrid, por Anselmo Nogués. En 1492, Nebrija fue el primer europeo en escribir una gramática de una lengua románica o neolatina, el español … Wikipedia Español
Motor de Análisis Sintáctico — Este artículo o sección se refiere o está relacionado con un software futuro o en desarrollo. La información de este artículo puede cambiar frecuentemente. Por favor, no agregues datos especulativos y recuerda colocar referencias a fuentes… … Wikipedia Español
Lógica proposicional — En lógica, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de … Wikipedia Español
Perl — Desarrollador(es) Larry Wall www.perl.org Información general Paradigma multiparadigma, funcional, im … Wikipedia Español

Los diccionarios y las enciclopedias sobre el Académico