Construcción de una gramática LL(1), construcción de la tabla y análisis de una hilera de la gramática CI-1322 Autómatas y Compiladores Sebastián Argüello.

Slides:



Advertisements
Presentaciones similares
Ejemplo Práctico de un Compilador Pequeño
Advertisements

Análisis Sintáctico Ascendente
Análisis Sintáctico Predictivo No Recursivo
Análisis Sintáctico Descendente
INSTITUTO TECNOLÓGICO DE MINATITLÁN
Filminas Segunda semana
Filminas Undécima Semana CI-1322 Autómatas y Compiladores Elaborado por: Sergio Pastrana Espinoza A33888.
Filminas Octava Semana CI-1322 Autómatas y Compiladores Elaborado por: Sergio Pastrana Espinoza A33888.
Compiladores e intérpretes Análisis Sintáctico II
Compiladores e intérpretes
Compiladores e intérpretes Análisis Sintáctico III
Lectura Tabla Distribución Normal
Gramáticas.
Teoría de Autómatas y Compiladores
Tema 2.- Gramáticas independientes de contexto.
Organización de Lenguajes y Compiladores 1
ANALIZADOR SINTACTICO
Analizadores Sintácticos Descendentes Predictivos
Unidad 3. Análisis Sintáctico
2º curso Ingeniería Técnica en Informática de Sistemas UNED
Tema 2 Autómatas finitos 1. Autómata finito determinista
Traducción dirigida por la Sintaxis
ANALISIS SINTACTICO DESCENDENTE
2º curso Ingeniería Técnica en Informática de Sistemas UNED
Lenguajes Regulares Curso de Compiladores Manuel E. Bermúdez, Ph.D.
Teoría de lenguajes y compiladores
Analizador Sintáctico Descendente
Tema 2 Lenguajes Formales.
Introducción a la Teoría de Lenguajes Preparado por Manuel E. Bermúdez, Ph.D. Profesor Asociado University of Florida Curso de Compiladores.
Algoritmos para calcular el Conjunto Primero y el Conjunto Siguiente
Análisis sintáctico LR: SLR (LR simple)
Procesadores del Lenguaje
Lenguajes Libres de Contexto
Lenguajes Independientes del Contexto
Autómatas de Pila Teoría del Autómata.
MACROS Para automatizar tareas repetitivas, puede grabar rápidamente una macro (macro: acción o conjunto de acciones utilizados para automatizar tareas).
ANALISIS SINTACTICO Parte I
Gramáticas Otoño2012. Importancia de las gramáticas 2 Son una herramienta muy poderosa para describir y analizar lenguajes.
Todo traductor esta basado en una gramática para el lenguaje fuente. Todo traductor esta basado en una gramática para el lenguaje fuente. Una gramática.
Introducción al Análisis Sintáctico
Teoría de Autómatas I 2º curso Ingeniería Técnica en Informática de Sistemas UNED.
MÁQUINAS DE TURING Teoría del Autómata.
COMPUTABILIDAD Y COMPLEJIDAD 1. Conceptos básicos (revisión). 2. Gramáticas independientes de contexto. 3. Propiedades de los lenguajes independientes.
Microsoft OFFICE Word MBA. Lida Loor Macías.
Lenguajes Formales y Autómatas
Analizadores LR(1) y LALR()
Determinantes cálculo de determinantes
Gramáticas Otoño2012. Importancia de las gramáticas 2 Son una herramienta muy poderosa para describir y analizar lenguajes.
UNIVERSIDAD LATINA (UNILA)
1 Sebastián Argüello A60490 semana 3 Autómatas y compiladores CI-1322.
Teoría de lenguajes y compiladores
Autómatas y Compiladores Novena Semana. Ricardo Vargas Del Valle A35469.
TABLA DEL 6 7 x 6 =42 8 x 6 =48 9 x 6 =54 4 x 6 =24 5 x 6 =30 6 x 6 =36 2 x 6 =12 3 x 6 =18.
Referencias absolutas y relativas ¿Qué es una referencia? ¿Qué es una referencia? Cuando realizamos un cálculos como por ejemplo: =B1*B2 hacemos referencia.
Teoría de lenguajes y compiladores
TABLA DEL 8 7 x 8 =56 8 x 8 =64 9 x 8 =72 4 x 8 =32 5 x 8 =40 6 x 8 =48 2 x 8 =16 3 x 8 =24.
TABLA DEL 9 7 x 9 =63 8 x 9 =72 9 x 9 =81 4 x 9 =36 5 x 9 =45 6 x 9 =54 2 x 9 =18 3 x 9 =27.
TABLA DEL 7 7 x 7 =49 8 x 7 =56 9 x 7 =63 4 x 7 =28 5 x 7 =35 6 x 7 =42 2 x 7 =14 3 x 7 =21.
Tema: Suma y Resta de decimales
IV. GRAMÁTICAS DISTRIBUIDAS Y TABLAS DE SÍMBOLOS
Semana #8 Kathryn Jones Pérez A Analizadores sintácticos LR Existen tres técnicas para construir tablas de análisis sintáctico LR para una gramática.
Programación de Sistemas
TABLAS EN PROCESADOR WRITER. INSERTAR UNA TABLA Método 1 Menú TABLA Opción INSERTAR / TABLA Método 2 Presionar Ctrl + F12 En la ventana que aparece se.
Autómatas y Compiladores. Segunda Semana. Ricardo Vargas Del Valle A35469.
“Suma o adición”.
Autómatas y Compiladores Semana 13. Ricardo Vargas Del Valle A35469.
MICROSOFT EXCEL. Referencias Absolutas en Excel A diferencias de las referencias relativas, las referencias absolutas no se modifican aunque copiemos.
Centro Universitario Valle de México Gramáticas Libres de Contexto Dra. Maricela Quintana López Elaborado por: Autómatas y Lenguajes Formales.
LL=
REGLAPP LAS REGLAS.
Transcripción de la presentación:

Construcción de una gramática LL(1), construcción de la tabla y análisis de una hilera de la gramática CI-1322 Autómatas y Compiladores Sebastián Argüello Carné: A60490

Gramática ● E -> Ex ● E -> yB ● E -> yA ● B -> bA ● B -> bbA ● A -> ε ● Esta gramática no es LL(1), se debe convertir

1. Factorizar la gramática ● E -> Ex ● E -> yE’ ● E’ -> A │B ● B -> bB’ ● B’ -> A │ bA ● A -> ε ● Esta es una gramática factorizada pero tiene recursividad izquierda.

2. Eliminar recursividad izquierda ● E -> y E’ E’’ ● E’’ -> xE’’ │ ε ● E’ -> A │B ● B -> bB’ ● B’ -> A │ bA ● A -> ε ● Así obtenemos una nueva gramática que no tiene recursividad izquierda

3. Obtener el conjunto PRIMERO (Pr) ● Pr (E) = {y} ● Pr (E’) = {ε, b} ● Pr (E’’) = {x, ε} ● Pr (B) = {b} ● Pr (B’) = {ε, b} ● Pr (A) = {ε} ● Conjunto PRIMERO de todos las producciones no terminales de la gramática.

4. Obtener el conjunto SIGUIENTE (Sg) ● Sg (S) = {$} ● Sg (S’) = {$} ● Sg (S’’) = {x, $} ● Sg (B) = {x, $} ● Sg (B’) = {x, $} ● Sg (A) = { x, $} ● Conjunto SIGUIENTE de los no terminales de la gramática.

4.Obtener la tabla LL(1) Algunas reglas generales ● El ε se coloca en la fila del símbolo del lado izquierdo de la gramática, en la columna del carácter que sigue al símbolo del lado izquierdo en la parte derecha de alguna producción. ● Cuando un no terminal está al final de una producción se agrega al Siguiente del no terminal del lado izquierdo de la producción.

4. Obtener la Tabla LL(1) (cont) xyb$ EyE’E’’ E’ABA E’’Ε BbB’ B’AbAA Aεε

Paso 5. Realizar un análisis de una hilera ybxx PilaEntradaSalida $Sybxx$ $S’’S’yybxx$ $S’’S’bxx$S’ -> B $S’’Bbxx$ $S’’B’bbxx$ $S’’B’xx$B’ -> A $S’’Axx$A -> ε $S’’xx$ $S’’xxx$ $S’’x$ $S’’xx$ $S’’$S’’ -> ε $$Aceptada