Analizador sintáctico de precedencia simple
# Analizador sintáctico de precedencia simple

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 gramáticas de precedencia simple.

La implementación del parser es bastante similar al analizador sintáctico ascendente genérico. Una pila es utilizada para almacenar el prefijo viable de una forma sentencial de una derivación más a la derecha. Los símbolos $\lessdot$, ${\dot {=}}$ y $\gtrdot$ son utilizados para identificar el pivote, por lo tanto sabremos cuando Desplazar o cuando Reducir.

## Implementación

* Calcule la tabla de relación de precedencia de Wirth-Weber.
* Comience con la pila conteniendo solamente la marca inicial $.
* Comience con la cadena a ser analizada (Entrada) seguida de una marca final $.
* Mientras no (Pila igual a $S y Entrada igual a $) (S = Símbolo inicial de la gramática)
   * Buscar en la tabla la relación entre Tope(Pila) y PróximoSímbolo(Entrada)
   * Si la relación es ${\dot {=}}$ o $\lessdot$
      * Desplazar:
      * Apilar(Pila, relación)
      * Apilar(Pila, PróximoSímbolo(Entrada))
      * SacarPróximoSímbolo(Entrada)
   * Si la relación es $\gtrdot$
      * Reducir:
      * BuscarProducciónParaReducir(Pila)
      * SacarPivote(Pila)
      * Buscar en la tabla la relación entre el No terminal de la producción y PróximoSímbolo(Entrada)
      * Apilar(Pila, relación)
      * Apilar(Pila, No terminal)

BuscarProducciónParaReducir (Pila)

* busca el Pivote en la pila, el $\lessdot$ más cercano del tope
* busca en las producciones de la gramática cual tiene el mismo lado derecho que el Pivote

## Ejemplo

num es un terminal, y el lexer interpreta cualquier número entero como num.

y la tabla de análisis:

| | E | E' | T | T' | F | + | * | ( | ) | num | $ |
| - | - | - | - | - | - | - | - | - | - | - | - |
| E | | | | | | ${\dot {=}}$ | | | $\gtrdot$ | | $\gtrdot$ |
| E' | | | | | | | | | ${\dot {=}}$ | | |
| T | | | | | | $\gtrdot$ | ${\dot {=}}$ | | $\gtrdot$ | | $\gtrdot$ |
| T' | | | | | | $\gtrdot$ | | | $\gtrdot$ | | $\gtrdot$ |
| F | | | | | | $\gtrdot$ | $\gtrdot$ | | $\gtrdot$ | | $\gtrdot$ |
| + | | | $\lessdot$ | ${\dot {=}}$ | $\lessdot$ | | | $\lessdot$ | | $\lessdot$ | |
| * | | | | | ${\dot {=}}$ | | | $\lessdot$ | | $\lessdot$ | |
| ( | $\lessdot$ | ${\dot {=}}$ | $\lessdot$ | $\lessdot$ | $\lessdot$ | | | $\lessdot$ | | $\lessdot$ | |
| ) | | | | | | | $\gtrdot$ | | $\gtrdot$ | | $\gtrdot$ |
| num | | | | | | $\gtrdot$ | $\gtrdot$ | | $\gtrdot$ | | $\gtrdot$ |
| $ | $\lessdot$ | | $\lessdot$ | $\lessdot$ | $\lessdot$ | | | $\lessdot$ | | $\lessdot$ | |
