Procesadores de lenguaje

Transcripción

1 Recursivad: ejercicios Obtener las gramáticas que producen: Procesadores de lenguaje jercicios de análisis sintáctico Departamento de Ciencias de la Computación Universad de Alcalá 1. Una o más aes con recursivad d por la izquierda i r.i) 2. Cero o más aes r.i) 3. Una o más aes con recursivad por la derecha r.d) 4. Cero o más aes r.d) 5. Una b y cero o más aes r.i) 6. Cero o más aes terminando en b r.d) 7. Cero o más aes separadas por ; r.d) 8. Una o más aes separadas por ; r.i) Soluciones Analizador descendente recursivo 1. A->Aa A a 2. A->Aa ε 3. A->aA a 4. A->aA ε 5. A->Aa b 6. A->aA b 7. A->aB ε B->;aB ε 8. A->A;a a jemplos: 1. Mostrar las acciones de un analizador descendente recursivo que analiza la cadena aaab según la gramática: A aa b 2. Para la gramática anterior, analizar la cadena abaab. 3. Mostrar las acciones de un analizador descendente recursivo que analiza la cadena aba según la gramática: A ab aa 4. Mostrar las acciones de un analizador descendente recursivo para la cadena de entrada IDNT) según la gramática: Sentencia Asignación ió Ll Llamada otro Asignación Identificador := Valor Llamada Identificador )

2 Analizador LL1) Conjunto primero Analizador LL1) - Conjunto primero 1.Calcular l el conjunto Pi Primero de A para la gramática siguiente: A A)A ε 2.Calcular el conjunto Primero de los no terminales A, B y C para la gramática siguiente: A BC B ε m C ε s 1.Conjunto Pi Primero de A para la gramática siguiente: i A A)A ε SOLUCIÓN: PrimeroA) = {, є } 2.Conjunto Primero de los no terminales A, B y C: A BC B ε m C ε s SOLUCIÓN: PrimeroA) = {m, s, є}, PrimeroB) = {m, є}, PrimeroC) = {s, ε} Analizador LL1) - Conjunto siguiente Analizador LL1) - Conjunto siguiente jemplo 1: jemplo 3: 1. Solución: PrimS)={a}, PrimB)={b}, PrimC)={c} SigS)={$}, SigB)={c}, SigC)={d} S abcd B bb C cc S abcd B CB b C cc ε 2. Solución: PrimS)={a}, PrimB)={b,d}, PrimC)={c} SigS)={$}, SigB)={c}, SigC)={d} jemplo 2: jemplo 4: 3. Solución: PrimS)={a}, PrimB)={b,c}, PrimC)={c, ε} SigS)={$}, SigB)={c,d} SigC)={b,c,d} S abcd B bb d C cc S if B then S write B := B B = <> true false 4. Solución: PrimS)={if, write, }, PrimB)={, true, false} SigS)={$}, SigB)={then, $}

3 Analizador LL1) - Análisis Solución 1. Comprobar si la siguiente gramática es LL1) y construir la tabla, calculando todos los conjuntos Siguiente y Primero. S ca A ab B b ε 2. Reconocer la cadena cab con el analizador construo. Pasos para ver si es LL1): 1.- No es recursiva a izquierdas. 2.- B b є 2.1. Primb) Primε) = vacío Siε ε Primε) => Primb) SigB) = vacío Conjuntos primero: PrimS)={c} PrimA)={a} PrimB)={b, ε} Conjuntos siguiente: SigS)={$} SigA)=SigS)={$} SigB)=SigA)={$} Solución Solución Tabla de análisis: Reconocer la cadena cab S A B c S ca a A ab b B b $ B ε $S $Ac $A $Ba $B $b $ Reconocimiento A ab Reconocimiento B b Reconocimiento éxito cab$ cab$ ab$ ab$ b$ b$ $

4 Analizador LL1) - Análisis Solución 1. Comprobar si la siguiente i gramática es LL1) y construir la tabla de análisis y todos los conjuntos Siguiente y Primero. T +T є T FT T *FT є F ) Prim ) = {, } Sig ) = { $, ) } Prim ) = { +, є } Sig ) = { $, ) } Prim T) = {,} Sig T) = {+, $, )} Prim T ) = { *, є } Sig T ) = { +, $, )} Prim F) = {, } Sig g F) = {*,+, $, )} 2. Reconocer la cadena 3+5*8) con el analizador construo. Solución Analizador LL1) - Análisis Reconocimiento de la cadena: 3+5*8) 1. A partir de la siguiente i gramática, construir la tabla de análisis i y todos los conjuntos Siguiente y Primero. B -> DL D -> ; D є L -> >S ; L є S -> a + a 2. Reconocer la cadena ;a+a; con el analizador construo.

5 Analizador LL1) - Análisis Analizador LL1) - Análisis PrimB) = {, a, ε } PrimD) = {, є } PrimL) = { a, є } PrimS) = { a } SigB) = { $ } SigD) = { a, $ } SigL) = { $ } SigS) = { ; } $ ; a + B B DL B DL - B DL - D D є D ;D - D є - L L є - - L S;L - S S a+a - Reconocer: ;a+a; Pila Decisión ntrada $B B DL ;a+a;$ $LD D ;D ;a+a;$ $LD; Reconocer ;a+a;$ $LD; Reconocer ; ;a+a;$ $LD D є a+a;$ $L L S;L a+a;$ $L;S S a+a a+a;$ $L;a+a Reconocer a a+a;$ $L;a+ Reconocer + +a;$ $L;a Reconocer a a;$ $L; Reconocer ; ;$ $L L є $ $ XITO $ Analizador LR0) - Análisis Analizador LR0) - Análisis 1. A partir de la siguiente i gramática, construir el autómata t finito it determinista y la tabla de análisis para el analizador LR0). S 0 S 1. S 2 S 3 + T) T T * F) F 2. Reconocer la cadena 6+4*2)). S 12 F...+T). T T.*F) * S 8 T T*.F) F. S 9 F T T T*F.).+T).+T).. S 10 S 13 T.T*F) T.T*F) T. ) S 6 T T*F). S 11.+T) + +.T) T.T*F) T. T. S 4 S 14 T S 5 +T.) ) S 7 +T).

6 Analizador LR0) - Análisis Analizador LR0) - Análisis stado Acción Reducción Reducción a e Reducción Reducción Reducción Reducción Regla +T) T T*F) F T ) 7 11 ntrada * Ir_a T 5 8 F 10 Pila Decisión ntrada $0 Desplazar 6+4*2))$ 6+4*2)) $02 Desplazar 6+4*2))$ $02613 Reducir +4*2))$ $02 Ir_a 3 +4*2))$ $023 Desplazar +4*2))$ $023+4 Desplazar 4*2))$ Reconocer: $ Desplazar 4*2))$ $ Reducir T *2))$ $023+46T Ir_a 8 *2))$ $023+46T8 Desplazar *2))$ $023+46T8*9 Desplazar ))$ $023+46T8*9212 Reducir F ))$ $023+46T8*9F Ir_a 10 ))$ $023+46T8*9F10 Desplazar ))$ $023+46T8*9F10)11 Reducir T T*F) )$ Analizador LR0) - Análisis Analizador LR0) - Análisis Reconocer: 6+4*2)) Pila Decisión ntrada $023+4T Ir_a 5 )$ $023+4T5 Desplazar )$ $023+4T5)7 Reducir +T) $ $0 Ir_a 1 $ $01 Reducir $ $0' XITO $ 1. A partir de la siguiente i gramática, construir el autómata t finito it determinista y la tabla de análisis para el analizador LR0). S S ) S ε 2. Reconocer la cadena ))).

7 Analizador LR0) - Análisis Analizador LR0) - Análisis Conflictos: S0: -reducción S2: -reducción S4: -reducción ntrada Ir a Acción Regla ) 0 Desplazar / Reducir S Є Reducir S S 2 Desplazar / Reducir S Є Desplazar Desplazar / Reducir S Є Reducir S S)S Analizador LR0) - Análisis Analizador SLR1) - Análisis 1. A partir de la siguiente i gramática, construir el autómata t finito it determinista y la tabla de análisis para el analizador SLR1). + T) T T * F) F a) )Ampliar la gramática: + T) T T * F) F 2. Reconocer la cadena 6+4*2)). b) Conjuntos Siguiente: Sig ) = { $ } Sig ) = { +,$} Sig T) = { *, ) } Sig F) = { ) }

8 Analizador SLR1) - Análisis Analizador SLR1) - Análisis c) )Autómata: t S 0. S 1 S 2 S 3 d) Tabla análisis: i Ir_a S 12 F...+T). S 8 T T.*F) * S 9 T T*.F) F. F T T T*F.).+T).+T). S 10. S 13 T.T*F) T.T*F) T. ) S 6 6 T T*F). S 11.+T) + +.T) T.T*F) T. T. S 4 S 14 T S 5 +T.) ) S 7 +T). stado $ Aceptar D: 2 D: 2 D: 6 D: 6 ) D: 7 D: 11 * D: 9 + D: 4 7 R: +T) R: +T) R: R:T T*F) R:T T*F) R: F R: T R: T R: D: 13 D: 13 D: 14 D: 14 D: T 5 8 F 10 Analizador SLR1) - Análisis Analizador SLR1) - Análisis e) Reconocer 6+4*2)) Pila Decisión ntrada $0 D:2 6+4*2))$ $02 D:13 6+4*2))$ $02613 R: +4*2))$ $02 Ir_a 3 +4*2))$ $023 D:4 +4*2))$ $023+4 D:6 4*2))$ $ D:14 4*2))$ $ R: T *2))$ $023+46T Ir_a 8 *2))$ $023+46T8 D:9 *2))$ $023+46T8*9 D:12 ))$ $023+46T8*9212 R: F ))$ $023+46T8*9F Ir_a 10 ))$ $023+46T8*9F10 D:11 ))$ $023+46T8*9F10)11 R: T T*F) )$ e) Reconocer 6+4*2)): Pila Decisión ntrada $023+4T Ir_a 5 )$ $023+4T5 D:7 )$ $023+4T5)7 R: +T) $ $0 Ir_a 1 $ $01 Aceptar $ XITO

9 Analizador SLR1) - Análisis Análisis sintáctico SLR1) 1. A partir de la siguiente i gramática, construir el autómata t finito it determinista y la tabla de análisis para el analizador SLR1). Autómata: t S S) S ε 2. Reconocer la cadena ))) ) ). Análisis sintáctico SLR1) Analizador SLR1) - Análisis Tbl Tabla: SiguienteS ) = { $ } SiguienteS) = { ), $ } Reconocer ))) Pila Decisión ntrada $0 D:2 )))$ $02 D:2 )))$ $022 R: S Є )))$ $022S Ir_a 3 )))$ Ir a ) $ S 0 D-2 R: S Є R: S Є 1 $022S3 D: 4 )))$ $022S3)4 R: S Є ))$ $022S3)4S Ir_a 5 ))$ $022S3)4S5 R: S S)S ))$ 1 Aceptar $02S Ir_a 3 ))$ 2 D-2 R: S Є R: S Є 3 $02S3 D: 4 ))$ 3 D-4 4 D-2 R: S Є R: S Є 5 5 R: S S)S R: S S)S $02S3)4 D:2 )$ $02S3)42 R: S Є )$ $02S3)42S Ir_a 3 )$ $02S3)42S3 D: 4 )$ $02S3)42S3)4 R: S Є $

10 Analizador SLR1) - Análisis Análisis SLR1) e) Reconocer ))) Pila Decisión ntrada $02S3)42S3)4 ) R: S Є $ $02S3)42S3)4S Ir_a 5 $ $02S3)42S3)4S5 R: S S)S $ $02S3)4S Ir_a 5 $ $02S3)4S5 R: S S)S $ $0 R: S Є $ $0S Ir_a 1 $ $0S1 Aceptar $ XITO -> OR AND ) 0 1 Cont. Solución Analizador LALR1) stado OR AND ) 0 1 # 0 s6 s9 s s2 s3 r1 aceptar 2 s6 s9 s10 4 S S S L=R R L *R R L 3 s6 s9 s s2/r2 s3/r2 r2 r2 5 s2/r3 s3/r3 r3 r3 6 s6 s9 s s2 s3 s8 8 r4 r4 r4 r4 Hay un conflicto de Reducción por en S2: - La gramática no es SLR 9 r5 r5 r5 r5 10 r6 r6 r6 r6

11 Analizador LALR1) - Autómata I Analizador LALR1) - Autómata II S S S L=R R L *R R L S S S L=R R L *R R L Analizador LALR1) - Tabla de análisis Analizador LALR1) - Análisis R0: S S R1: S L=R R2: S R R3: L *R R4: L R5: R L

12 Analizador LALR1) - Análisis