Teor a de aut matas i
This presentation is the property of its rightful owner.
Sponsored Links
1 / 11

Teoría de Autómatas I PowerPoint PPT Presentation


  • 74 Views
  • Uploaded on
  • Presentation posted in: General

Teoría de Autómatas I. 2º curso Ingeniería Técnica en Informática de Sistemas UNED. Sesión 6. Analizadores Sintácticos LL(k) y LR(k). Analizadores Sintácticos LL(k) y LR(k). Ejercicio: Producir un Autómata de Pila equivalente a la gramática: S → xSy S → λ Solución página 116

Download Presentation

Teoría de Autómatas I

An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript


Teor a de aut matas i

Teoría de Autómatas I

2º curso

Ingeniería Técnica en Informática de Sistemas

UNED


Sesi n 6

Sesión 6

  • Analizadores Sintácticos LL(k) y LR(k)

Teoría de Autómatas I2º Ing. Tec. Informática SistemasJosep Silva Galiana


Analizadores sint cticos ll k y lr k

Analizadores Sintácticos LL(k) y LR(k)

  • Ejercicio:

    • Producir un Autómata de Pila equivalente a la gramática:

      S → xSy

      S → λ

    • Solución página 116

    • Segmento de programa equivalente (figura 2.26)

    • Utilizar el autómata de pila con la cadena de entrada “xxyy” a partir del símbolo inicial S

      • El autómata es indeterminista

      • No sabemos qué regla utilizar

Teoría de Autómatas I2º Ing. Tec. Informática SistemasJosep Silva Galiana


Analizadores sint cticos ll k y lr k1

Analizadores Sintácticos LL(k) y LR(k)

  • Principio de preanálisis:

    • Técnica que permite observar los símbolos siguientes sin leerlos

    • El símbolo siguiente se almacena en un buffer

    • Solución ejercicio anterior Figura 2.27

  • ¿Cuántos símbolos son necesarios?

    • Depende de las reglas de la gramática

      • Gramática figura 2.25 → 1

      • Gramática figura 2.28 → 2

Teoría de Autómatas I2º Ing. Tec. Informática SistemasJosep Silva Galiana


Analizadores sint cticos ll k y lr k2

Analizadores Sintácticos LL(k) y LR(k)

  • Lenguajes LL(k):

    • L → Lee su entrada de izquierda a derecha

    • L → Produce una derivación por la izquierda

    • k → Nº de símbolos de preanálisis necesarios

    • A mayor k mayor potencia (más lenguajes)

    • Existen lenguajes independientes del contexto no LL(k) → LL(k) < LIC

      • xn / n є N  xn yn / n є N

Teoría de Autómatas I2º Ing. Tec. Informática SistemasJosep Silva Galiana


Analizadores sint cticos ll k y lr k3

Analizadores Sintácticos LL(k) y LR(k)

  • Análisis sintáctico LL

    • Tablas de análisis sintáctico:

      • Filas = No-Terminales

      • Columnas = Terminales

      • Figura 2.29 (página 119)

    • Algoritmo genérico de análisis sintáctico

      • Puede usarse con cualquier tabla (Figura 2.30)

  • Ejercicios 3 y 4, página 121

Teoría de Autómatas I2º Ing. Tec. Informática SistemasJosep Silva Galiana


Analizadores sint cticos ll k y lr k4

Analizadores Sintácticos LL(k) y LR(k)

  • Lenguajes LR(k):

    • L → Lee su entrada de izquierda a derecha

    • R → Produce una derivación por la derecha

    • k → Nº de símbolos de preanálisis necesarios

    • LL → Análisis descendente

      • Del todo a las partes (S → xy)

    • LR → Análisis ascendente

      • De las partes al todo (xy → S)

Teoría de Autómatas I2º Ing. Tec. Informática SistemasJosep Silva Galiana


Analizadores sint cticos ll k y lr k5

Analizadores Sintácticos LL(k) y LR(k)

  • Lenguajes LR(k):

    • Conversión de una gramática en un autómata de Pila → Figura 232 (página 123)

    • Análisis cadena zazabzbz→ Figura 233 (página 124)

    • Se produce una derivación por la derecha (página 125)

    • Ejercicios 1 y 2 (Página 133)

    • Problema del indeterminismo: ¿Cuándo reducir?

      • Figura 2.33: Paso 4 → ¿Por qué reduce z a M y no a N?

      • Figura 2.33: Paso 9 → ¿Por qué reduce z a N y no a M?

Teoría de Autómatas I2º Ing. Tec. Informática SistemasJosep Silva Galiana


Analizadores sint cticos ll k y lr k6

Analizadores Sintácticos LL(k) y LR(k)

  • Tablas de análisis LR(k):

    • Filas: Símbolos especiales

    • Columnas: Terminales, No-Terminales y FDC

    • Se construyen a partir de autómatas (Figura 2.37)

    • Ejemplo en Figura 2.34

    • Traza en la Figura 2.36

  • Algoritmo de análisis LR(k)

    • Puede usarse con cualquier tabla (figura 2.35)

Teoría de Autómatas I2º Ing. Tec. Informática SistemasJosep Silva Galiana


Analizadores sint cticos ll k y lr k7

Analizadores Sintácticos LL(k) y LR(k)

  • LR(k) incluye más lenguajes que LL(k)

  • LR(k) es justamente la clase de los lenguajes independientes del contexto deterministas

  • Existen lenguajes independientes del contexto que no son LR(k)

    • xnyn / n є N+ xny2n / n є N+

Teoría de Autómatas I2º Ing. Tec. Informática SistemasJosep Silva Galiana


Analizadores sint cticos ll k y lr k8

Analizadores Sintácticos LL(k) y LR(k)

Ejercicios 1 y 2 página 133

Teoría de Autómatas I2º Ing. Tec. Informática SistemasJosep Silva Galiana


  • Login