Clasificación de Gramáticas y Manejo de Errores

Clasificación de Gramáticas y Manejo de Errores

Oscar Bonilla 2 Universidad Galileo
Resumen Repaso de parseo LR y algunas clarificaciones Clasificación de gramáticas Lenguajes LR Eliminando Ambiguedad Manejo de errores y recuperación de errores Oscar Bonilla Universidad Galileo

LR(0) y LR(1), ¿donde está el look ahead?
Tanto LR(0) como LR(1) tienen el mismo engine de ejecución, la diferencia está en la construcción de la tabla de parseo Entonces, ¿dónde está el look ahead? Oscar Bonilla Universidad Galileo

LR(0) y LR(1), ¿donde está el look ahead?
Shift sn ve el símbolo de entrada, ya sea lo consume o termina de parsear (accept o error)  no es un look ahead Goto sn sólo ve el stack Reduce n LR(0) misma reducción para todos los inputs  no look ahead LR(1) necesitamos el símbolo de entrada  un look ahead Oscar Bonilla Universidad Galileo

LR(0) SL (1) Oscar Bonilla Universidad Galileo

Algunas Definiciones ¿Qué es una gramática XY(k)? (X, Y  {L, R}) Una gramática G es una gramática XY(k) si y sólo si podemos crear una tabla de parseo XY(k) sin ningún conflicto shift/reduce o reduce/reduce Oscar Bonilla Universidad Galileo

Construcción de un Parse Engine LR(0)
Agregamos la producción especial S’  S $ Encontramos los ítems de la CFG Creamos el DFA Comenzamos con el ítem S’  • S $ Usando las funciones closure y goto Construimos la tabla de parseo LR(0) Parser Engine Oscar Bonilla Universidad Galileo

Construcción de un parse engine SLR(1)
Agregamos la producción especial S’  S $ Calcular el conjunto follow para todos los no-terminales Encontrar los ítems LR(0) de la CFG Crear el DFA Comenzamos con el ítem S’  • S $ Usando las funciones closure y goto Construir la tabla de parseo Usando el DFA y la información del conjunto follow SLR Parser Engine Oscar Bonilla Universidad Galileo

Construcción de un parse engine LR(1)
Agregamos la producción especial S’  S $ Encontramos los ítems LR(1) de la CFG Creamos el DFA Comenzamos con el ítem [S’  • S $, ?] Usamos las funciones closure y goto Construimos la tabla de parseo LR(1) Parser Engine Oscar Bonilla Universidad Galileo

Clasificación de Gramáticas
Context free Oscar Bonilla Universidad Galileo

Context free G0 regular Oscar Bonilla Universidad Galileo

Gramáticas Regulares Una gramática que puede ser expresada usando una expresión regular es una gramática regular Lenguaje Ejemplo: Cero o más paréntesis abiertos seguidos de cero o más paréntesis cerrados G0 = { (a )b | a, b >= 0 } Gramática S  X Y $ X  ( X |  Y  ) Y |  Oscar Bonilla Universidad Galileo

Context free LR(0) G0 G1 regular Oscar Bonilla Universidad Galileo

Gramáticas LR(0) Una gramática que puede crear una tabla de parseo LR(0) sin ningún conflicto shift/reduce o reduce/reduce Lenguaje Ejemplo: Uno o más paréntesis abiertos seguidos de un número igual de paréntesis cerrados G1 = { (n )n | n > 0 } La gramática <S>  <X> $ <X>  ( <X> ) | ( ) Oscar Bonilla Universidad Galileo

Context free SLR(1) LR(0) G0 G1 G2 regular Oscar Bonilla Universidad Galileo

Gramáticas SLR(1) Una gramática que puede crear una tabla de parseo SLR(1) sin ningún conflicto shift/reduce o reduce/reduce Lenguaje Ejemplo: Cero o más paréntesis abiertos seguidos de un número igual de paréntesis cerrados G2 = { (n )n | n >= 0 } La gramática <S>  <X> $ <X>  ( <X> ) |  Oscar Bonilla Universidad Galileo

Context free LALR(1) SLR(1) LR(0) G0 G1 G2 G3 regular Oscar Bonilla Universidad Galileo

Gramáticas LALR(1) Una gramática que puede crear una tabla de parseo LALR(1) sin ningún conflicto shift/reduce o reduce/reduce Lenguaje Ejemplo: ??? G3 = { ??? } La gramática Oscar Bonilla Universidad Galileo

Context free LR(1) LALR(1) SLR(1) LR(0) G0 G1 G2 G3 G4 regular Oscar Bonilla Universidad Galileo

Gramáticas LR(1) Una gramática que puede crear una tabla de parseo LR(1) sin ningún conflicto shift/reduce o reduce/reduce Lenguaje Ejemplo: Cero o más paréntesis abiertos seguidos de un número igual de paréntesis cerrados o un solo paréntesis abierto G4 = { (n )n | n >= 0 }  { ( } La gramática <S>  <X> $ <X>  ( | <Y> <Y>  ( <Y> ) |  Oscar Bonilla Universidad Galileo

Context free LR(k) LR(1) LALR(1) SLR(1) LR(0) G0 G1 G2 G3 G4 G5 regular Oscar Bonilla Universidad Galileo

Gramáticas LR(k) Una gramática que puede crear una tabla de parseo LR(k) sin ningún conflicto shift/reduce o reduce/reduce Lenguaje Ejemplo: Cero o más paréntesis abiertos seguidos de un número igual de paréntesis cerrados o un número igual de corchetes cerrados G5 = { (n )n | n >= 0 }  { (n ]n | n >= 0 } La gramática <S>  <X> $ <X>  <Y> | <Z> <Y>  ( <Y> ) |  <Z>  ( <Z> ] |  Oscar Bonilla Universidad Galileo

Context free unambiguous LR(k) LR(1) LALR(1) SLR(1) LR(0) G0 G1 G2 G3 G4 G5 G6 regular Oscar Bonilla Universidad Galileo

Gramáticas no Ambiguas
Una gramática es no ambigua sí y sólo sí tiene una secuencia de derivación derecha (rightmost) única (parse tree) Ejemplo: G6 = { [(n )n | n >= 0 }  { ](n )2n | n >= 0 } La gramática <S>  <X> $ <X>  [ <Y> | ] <Z> <Y>  ( <Y> ) |  <Z>  ( <Z> )) |  Oscar Bonilla Universidad Galileo

Context free unambiguous LR(k) LR(1) LALR(1) SLR(1) LR(0) G0 G1 G2 G3 G4 G5 G6 G7 regular Oscar Bonilla Universidad Galileo

Gramáticas Ambiguas Una gramática es ambigua sí y sólo sí tiene más de una secuencia de derivación por la derecha Ejemplo: G7 = { (i )j (k | i = j or j = k } La gramática <S>  <X> $ <X>  <P> <Q> | <R> <S> <P>  ( <P> ) |  <Q>  ( <Q> |  <R>  ( <R> |  <S>  ) <S> ( |  Oscar Bonilla Universidad Galileo

Context free unambiguous LR(k) LR(1) LALR(1) SLR(1) LR(0) G0 G1 G2 G3 G4 G5 G6 G7 regular Oscar Bonilla Universidad Galileo

Context free unambiguous LR(k) LR(1) LALR(1) SLR(1) LR(0) G0 G1 G2 G3 G4 G5 G6 G7 regular LL(0) Oscar Bonilla Universidad Galileo

Context free unambiguous LR(k) LR(1) LALR(1) SLR(1) LR(0) G0 G1 G2 G3 G4 G5 G6 G7 regular LL(0) LL(1) Oscar Bonilla Universidad Galileo

Pregunta ¿Qué hay acerca del lenguaje? G8 = { (i )j (k | i = j = k } Oscar Bonilla Universidad Galileo

Lenguajes LR Un lenguaje libre de contexto es un lenguaje LR sí y sólo sí puede ser generado por una gramática LR(k) para algún k Oscar Bonilla Universidad Galileo

Lenguajes LR El conjunto de lenguajes LR es independiente de la distancia de lookahead k Dada cualquier gramática LR(k) Gk, existe una gramática LR(0) G0 tal que L(Gk) = L(G0) Para todos los lenguajes que vimos con gramáticas SLR(1), LALR(1) y LR(1), ¡¡¡podríamos haber encontrado una gramática LR(0)!!! Oscar Bonilla Universidad Galileo

Ejemplo Lenguaje Cero o más paréntesis abiertos seguidos de un número igual de paréntesis cerrados o un solo paréntesis abierto Gramática LR(1) <S>  <X> $ <X>  <Y> <X>  ( <Y>  ( <Y> ) <Y>   ¿Hay alguna gramática LR(0) para este lenguaje? Oscar Bonilla Universidad Galileo

26 Ejemplo Expandido DFA <S>  <X> $ <X>  <Y> <X>  ( <Y>  ( <Y> ) <Y>   ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s2 <S>  • <X> $ <X>  • Y <X>  • ( <Y>  • ( <Y> ) <Y>  • s0 ( <X>  ( • <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • s1 ( Y Y <Y>  ( <Y> • ) s3 Y X ) <X>  <Y> • s6 <S>  <X> • $ s5 s4 <Y>  ( <Y> ) • Oscar Bonilla Universidad Galileo

Ejemplo Lenguaje Cero o más paréntesis abiertos seguidos de un número igual de paréntesis cerrados o un solo paréntesis abierto Gramática LR(1) <S>  <X> $ <X>  <Y> <X>  ( <Y>  ( <Y> ) <Y>   Gramática LR(0) <S>  <X> $ <X>  <Y> <X>  ( <Z> <X>  <Z> <Y>  ( <Y> ) <Y>  <Z> <Z>   Oscar Bonilla Universidad Galileo

DFA del Ejemplo <S>  <X> $ <X>  <Y> <X>  ( <Z> <X>  <Z> <Y>  ( <Y> ) <Y>  <Z> <Z>   <Z>  • s7 ( <Y>  ( • <Y> ) <Y>  • ( <Y> ) <Y>  • <Z> s2 Z <S>  • <X> $ <X>  • <Y> <X>  • ( <Z> <X>  • <Z> <Y>  • ( <Y> ) <Y>  • <Z> s0 ( Z Z <Y>  ( • <Y> ) <X>  ( • <Z> <Y>  • ( <Y> ) <Y>  • <Z> s1 ( Y Y <Y>  ( <Y> • ) s3 Y X ) <X>  <Y> • s6 <S>  <X> • $ s5 s4 <Y>  ( <Y> ) • Oscar Bonilla Universidad Galileo

Lenguajes LR El conjunto de lenguajes LR es independiente de la distancia de lookahead k Dada cualquier gramática LR(k) Gk, existe una gramática LR(0) G0 tal que L(Gk) = L(G0) Para todos los lenguajes que vimos con gramáticas SLR(1), LALR(1) y LR(1), ¡¡¡podríamos haber encontrado una gramática LR(0)!!! ¡¡¡Pero esto puede ser muy difícil!!! Oscar Bonilla Universidad Galileo

Lenguajes Ambiguos Un lenguaje libre de contexto es inherentemente ambiguo si toda gramática que genera el lenguaje es ambigua Sin embargo, la mayoría de gramáticas ambiguas encontradas en la práctica son para lenguajes no ambiguos Queremos hacerlas no ambiguas Oscar Bonilla Universidad Galileo

Gramáticas Ambiguas Si tenemos una gramática ambigua para un lenguaje no ambiguo, podemos: Escribir una gramática no ambigua Usar precedencia y asociatividad para resolver los conflictos en las acciones del parser Oscar Bonilla Universidad Galileo

Ejemplo <E>  <E> + <E> | <E> * <E> | ( <E> ) | id Oscar Bonilla Universidad Galileo

Ejemplo <E>  <E> + <E> | <E> * <E> | ( <E> ) | id Escribiendo una gramática no ambigua Oscar Bonilla Universidad Galileo

Ejemplo <E>  <E> + <E> | <E> * <E> | ( <E> ) | id Escribiendo una gramática no ambigua <E>  <E> + <T> | <T> <T>  <T> * <F> | <F> <F>  ( <E> ) | id Oscar Bonilla Universidad Galileo

<S>  <E> $ <E>  <E> + <E> | <E> * <E> | ( <E> ) | id Oscar Bonilla Universidad Galileo

<S>  <E> $ <E>  <E> + <E> | <E> * <E> | ( <E> ) | id <S>  ( • <E> ) <E>  • <E> + <E> <E>  • <E> * <E> <E>  • ( <E> ) <E>  • id s2 <S>  • <E> <E>  • <E> + <E> <E>  • <E> * <E> <E>  • ( <E> ) <E>  • id s0 <E>  <E> • + <E> <E>  <E> • * <E> <E>  ( <E> •) s6 <E>  id • s3 <E>  <E> + <E> • <E>  <E> • + <E> <E>  <E> • * <E> s7 <S>  <E> • <E>  <E> • + <E> <E>  <E> • * <E> s1 <S>  <E> * <E> • <E>  <E> • + <E> <E>  <E> • * <E> s8 <S>  <E> * • <E> <E>  • <E> + <E> <E>  • <E> * <E> <E>  • ( <E> ) <E>  • id s5 <S>  <E> + • <E> <E>  • <E> + <E> <E>  • <E> * <E> <E>  • ( <E> ) <E>  • id s4 <E>  ( <E> ) • s9 Oscar Bonilla Universidad Galileo

$ id + id * id Oscar Bonilla Universidad Galileo

+ s1 <E> s0 $ id + id * id Oscar Bonilla Universidad Galileo

<E>  <E> + <E> • <E>  <E> • + <E> <E>  <E> • * <E> s7 Shift or reduce s7 <E> s4 + s1 <E> s0 $ id + id * id Oscar Bonilla Universidad Galileo

Usando Precedencia y Asociatividad
Construimos el DFA y construimos la tabla de parseo Cuando hay un conflicto usamos la información de precedencia y asociatividad Oscar Bonilla Universidad Galileo

Otro Ejemplo <stmt>  if <expr> then <stmt> else <stmt> <stmt>  if <expr> then <stmt> <stmt>  other Oscar Bonilla Universidad Galileo

Otro Ejemplo <stmt>  if <expr> then <stmt> else <stmt> <stmt>  if <expr> then <stmt> <stmt>  other if then if then … else if then … else … Oscar Bonilla Universidad Galileo

Otro Ejemplo <stmt>  if <expr> then <stmt> else <stmt> <stmt>  if <expr> then <stmt> <stmt>  other if then if then … else if then … else … Asociatividad izquierda, ¡esto es lo que queremos! Oscar Bonilla Universidad Galileo

Otro Ejemplo <stmt>  if <expr> then <stmt> else <stmt> <stmt>  if <expr> then <stmt> <stmt>  other <S>  <E> $ <E>  i <E> o <E> <E>  i <E> <E>  <A> Oscar Bonilla Universidad Galileo

<S>  <E> $ <E>  i <E> o <E> | i <E> | <A> <S>  <E> • s2 <S>  • <E> <E>  • i <E> o <E> <E>  • <I> <E> <E>  • <A> s0 E A <S>  <A> • s3 i i <E>  i • <E> o <E> <E>  i • <E> <E>  • i <E> o <E> <E>  • i <E> <E>  • <A> s1 <E>  i <E> o <E> • s6 A A E i <E>  i <E> o • <E> <E>  • i <E> o <E> <E>  • i <E> <E>  • <A> s5 E <E>  i <E> • o <E> <E>  i <E> • s4 o Oscar Bonilla Universidad Galileo

<S>  <E> $ <E>  i <E> o <E> | i <E> | <A> Oscar Bonilla Universidad Galileo

<S>  <E> $ <E>  i <E> o <E> | i <E> | <A> Follow(<E>) = { i, o, $ } Oscar Bonilla Universidad Galileo

$ i i a o a Oscar Bonilla Universidad Galileo

Como asocia por la izquierda, hacemos el shift s4 E s1 i s1 i s0 $ i i a o a Oscar Bonilla Universidad Galileo

Manejo de Errores ¡¡Los programas no siempre son correctos!! El compilador tiene que: Reportar clara y exactamente la presencia de errores Recuperarse de cada error lo suficientemete rápido para poder detectar errores subsiguientes Tratar de evitar mensajes falsos de error Oscar Bonilla Universidad Galileo

Tipos de Errores Léxicos Sintácticos Semánticos Lógicos Oscar Bonilla Universidad Galileo

Errores Léxicos Un error que produce un token erroneo Errores léxicos posibles Un identificador, palabra reservada u operador mal escrito (typo) Oscar Bonilla Universidad Galileo

Errores Sintácticos Un programa que no satisface la CFG del lenguaje Ejemplos Expresión aritmética con paréntesis no balanceados Un punto y coma faltante Oscar Bonilla Universidad Galileo

Errores Semánticos Un error que necesita información sensitiva al contexto para ser identificado Ejemplos Un operador aplicado a un tipo incompatible de operando Accesar una variable no declarada Oscar Bonilla Universidad Galileo

Errores Lógicos Errores en el modelo de ejecución Ejemplos Recursión infinita Accesar un arreglo fuera de los límites Dereferenciar un null pointer Oscar Bonilla Universidad Galileo

Tipos de recuperación de errores de sintáxis
Panic mode recovery Parse level recovery Producciones de error Corrección global Oscar Bonilla Universidad Galileo

Panic mode recovery Al descubrir un error pop cero o más estados/símbolos del stack descartar cero o más símbolos de entrada hasta que lleguemos a un punto donde podemos continuar parseando Usamos no-terminales definidos para el panic Ejemplo: cerrar llave, punto y coma Oscar Bonilla Universidad Galileo

Panic mode recovery En error pop del stack hasta que lleguemos a un estado X de donde se pueda hacer un goto para alguno de los no-terminales de pánico Se termina el parseo si no se encuentra ninguno Descartamos tokens del buffer de entrada hasta que encontremos un token sincronizador Un token que pertenece a follow(A) del no-terminal de pánico A que encontramos en el paso anterior Push de A y del estado goto(S,A) en los stacks y seguimos parseando Oscar Bonilla Universidad Galileo

Ejemplo de panic mode error recovery
Gramática: <S>  <E> $ <E>  <X> ; <E> | <X> <X>  id | <X> = <X> s0 $ Oscar Bonilla Universidad Galileo

Gramática : <S>  <E> $ <E>  <X> ; <E> | <X> <X>  id | <X> = <X> s0 $ id ; id id id ; id = id Oscar Bonilla Universidad Galileo

Gramática : <S>  <E> $ <E>  <X> ; <E> | <X> <X>  id | <X> = <X> s3 id s0 $ id ; id id id ; id = id Oscar Bonilla Universidad Galileo

Gramática : <S>  <E> $ <E>  <X> ; <E> | <X> <X>  id | <X> = <X> s6 <X> s0 $ id ; id id id ; id = id Oscar Bonilla Universidad Galileo

Gramática : <S>  <E> $ <E>  <X> ; <E> | <X> <X>  id | <X> = <X> s4 ; s6 <X> s0 $ id ; id id id ; id = id Oscar Bonilla Universidad Galileo

Gramática : <S>  <E> $ <E>  <X> ; <E> | <X> <X>  id | <X> = <X> s2 <Y> s0 $ id ; id id id ; id = id Oscar Bonilla Universidad Galileo

Gramática : <S>  <E> $ <E>  <X> ; <E> | <X> <X>  id | <X> = <X> s3 id s2 <E> s0 $ id ; id id id ; id = id Oscar Bonilla Universidad Galileo

Gramática : <S>  <E> $ <E>  <X> ; <E> | <X> <X>  id | <X> = <X> s6 <X> s2 <E> s0 $ id ; id id id ; id = id Oscar Bonilla Universidad Galileo

Gramática : <S>  <E> $ <E>  <X> ; <E> | <X> <X>  id | <X> = <X> s3 id s6 <X> s2 <E> s0 $ id ; id id id ; id = id Oscar Bonilla Universidad Galileo

Gramática : <S>  <E> $ <E>  <X> ; <E> | <X> <X>  id | <X> = <X> s6 <X> s6 <X> s2 <E> s0 $ id ; id id id ; id = id Oscar Bonilla Universidad Galileo

Gramática : <S>  <E> $ <E>  <X> ; <E> | <X> <X>  id | <X> = <X> PANIC s6 <X> s6 <X> s2 <E> s0 $ id ; id id id ; id = id Oscar Bonilla Universidad Galileo

Gramática : <S>  <E> $ <E>  <X> ; <E> | <X> <X>  id | <X> = <X> no-terminales de pánico = { <E> ... } follow(<E>) = { ; } PANIC s6 <X> s6 <X> s2 <E> s0 $ id ; id id id ; id = id Oscar Bonilla Universidad Galileo

Gramática : <S>  <E> $ <E>  <X> ; <E> | <X> <X>  id | <X> = <X> no-terminales de pánico = { <E> ... } follow(<E>) = { ; } PANIC s2 <E> s0 $ id ; id id id ; id = id Oscar Bonilla Universidad Galileo

Gramática : <S>  <E> $ <E>  <X> ; <E> | <X> <X>  id | <X> = <X> s2 <E> s0 $ id ; id id id ; id = id Oscar Bonilla Universidad Galileo

Gramática : <S>  <E> $ <E>  <X> ; <E> | <X> <X>  id | <X> = <X> s3 id s2 <E> s0 $ id ; id id id ; id = id Oscar Bonilla Universidad Galileo

Parse Level Error Recovery
En error invocamos una rutina especial para cambiar el prefijo de los tokens de entrada que quedan y continuamos el parseo Ejemplo Reemplazar una coma por un punto y coma Oscar Bonilla Universidad Galileo

Ejemplo de parser level error recovery
Action Table s0 $ ( ( ) ( $ Oscar Bonilla Universidad Galileo

Action Table s3 X s2 ( s0 $ ( ( ) ( $ Oscar Bonilla Universidad Galileo

Action Table s3 X Invocamos rutina de recuperación de error s2 ( s0 $ ( ( ) ( $ Oscar Bonilla Universidad Galileo

Action Table s3 X Invocamos rutina de recuperación de error s2 ( s0 $ ( ( ) ) $ Oscar Bonilla Universidad Galileo

Action Table s3 X s2 ( s0 $ ( ( ) ) $ Oscar Bonilla Universidad Galileo

Action Table s4 ) s3 X s2 ( s0 $ ( ( ) ) $ Oscar Bonilla Universidad Galileo

Producciones de Error Agregamos producciones especiales de la forma A   error  para manejar errores. error se trata como un símbolo terminal especial En error Insertamos el terminal error como el primer token de entrada Pop del stack hasta que lleguemos a un estado E en el que se pueda hacer un goto para el terminal error El parser hace shift del terminal error, el estado actual es es F = goto(E, error) Descartamos los tokens del buffer de entrada hasta que encontremos un token para el que se pueda ejecutar una acción de parseo legal a partir del estado F Oscar Bonilla Universidad Galileo

Ejemplo de Producciones de Error
Gramática <S>  <E> $ <E>  <X> ; <E> | <X> <X>  id | <X> = <X> Oscar Bonilla Universidad Galileo

Gramática <S>  <E> $ <E>  <X> ; <E> | <X> <X>  id | <X> = <X> | error Oscar Bonilla Universidad Galileo

Gramática <S>  <E> $ <E>  <X> ; <E> | <X> <X>  id | <X> = <X> | error s0 $ Oscar Bonilla Universidad Galileo

Gramática <S>  <E> $ <E>  <X> ; <E> | <X> <X>  id | <X> = <X> | error s0 $ id ; id id id ; id = id Oscar Bonilla Universidad Galileo

Gramática <S>  <E> $ <E>  <X> ; <E> | <X> <X>  id | <X> = <X> | error s3 id s0 $ id ; id id id ; id = id Oscar Bonilla Universidad Galileo

Gramática <S>  <E> $ <E>  <X> ; <E> | <X> <X>  id | <X> = <X> | error s6 <X> s0 $ id ; id id id ; id = id Oscar Bonilla Universidad Galileo

Gramática <S>  <E> $ <E>  <X> ; <E> | <X> <X>  id | <X> = <X> | error s4 ; s6 <X> s0 $ id ; id id id ; id = id Oscar Bonilla Universidad Galileo

Gramática <S>  <E> $ <E>  <X> ; <E> | <X> <X>  id | <X> = <X> | error s2 <Y> s0 $ id ; id id id ; id = id Oscar Bonilla Universidad Galileo

Gramática <S>  <E> $ <E>  <X> ; <E> | <X> <X>  id | <X> = <X> | error s3 id s2 <E> s0 $ id ; id id id ; id = id Oscar Bonilla Universidad Galileo

Gramática <S>  <E> $ <E>  <X> ; <E> | <X> <X>  id | <X> = <X> | error s6 <X> s2 <E> s0 $ id ; id id id ; id = id Oscar Bonilla Universidad Galileo

Gramática <S>  <E> $ <E>  <X> ; <E> | <X> <X>  id | <X> = <X> | error s6 <X> s6 <X> s2 <E> s0 $ id ; id id id ; id = id Oscar Bonilla Universidad Galileo

Gramática <S>  <E> $ <E>  <X> ; <E> | <X> <X>  id | <X> = <X> | error Error s6 <X> s6 <X> s2 <E> s0 $ id ; id id id ; id = id Oscar Bonilla Universidad Galileo

Gramática <S>  <E> $ <E>  <X> ; <E> | <X> <X>  id | <X> = <X> | error Error s6 <X> s6 <X> s2 <E> s0 $ id ; id id error id ; id = id Oscar Bonilla Universidad Galileo

Gramática <S>  <E> $ <E>  <X> ; <E> | <X> <X>  id | <X> = <X> | error Error s2 <E> s0 $ id ; id id error id ; id = id Oscar Bonilla Universidad Galileo

Gramática <S>  <E> $ <E>  <X> ; <E> | <X> <X>  id | <X> = <X> | error Error s5 error s2 <E> s0 $ id ; id id error id ; id = id Oscar Bonilla Universidad Galileo

Gramática <S>  <E> $ <E>  <X> ; <E> | <X> <X>  id | <X> = <X> | error s5 error s2 <E> s0 $ id ; id id error id ; id = id Oscar Bonilla Universidad Galileo

Gramática <S>  <E> $ <E>  <X> ; <E> | <X> <X>  id | <X> = <X> | error s2 <E> s0 $ id ; id id error id ; id = id Oscar Bonilla Universidad Galileo

Gramática <S>  <E> $ <E>  <X> ; <E> | <X> <X>  id | <X> = <X> | error s3 id s2 <E> s0 $ id ; id id error id ; id = id Oscar Bonilla Universidad Galileo

Corrección Global Tratamos de anticipar las acciones del programador Hacemos el programa legal elijiendo la mínima cantidad de cambios Muchos problemas Costoso Los cambios pueden crear un programa semánticamente correcto, ¡¡¡pero no el que el programador quería escribir!!! Oscar Bonilla Universidad Galileo

Lecturas El Tigre Chapter 5 La Ballena 3.1, 3.2, 3.3, 3.4 El Dragón Chapter 6 Oscar Bonilla Universidad Galileo

Clasificación de Gramáticas y Manejo de Errores

Presentaciones similares

Presentación del tema: "Clasificación de Gramáticas y Manejo de Errores"— Transcripción de la presentación:

Presentaciones similares

Sobre el proyecto

Feedback

Iniciar la sesión

Autorizarse a través de una red social:

Clasificación de Gramáticas y Manejo de Errores

Presentaciones similares

Presentación del tema: "Clasificación de Gramáticas y Manejo de Errores"— Transcripción de la presentación:

Presentaciones similares

Sobre el proyecto

Feedback