4-3_Ambiguedad

16
El Problema Conceptos Ambigüedad La Ambigüedad en el Parsing Definición y Ejemplos Universidad de Cantabria Dificultades

description

Universidad de Cantabria - CURSO de TEORIA DE AUTOMATAS

Transcript of 4-3_Ambiguedad

  • El ProblemaConceptos

    Ambigedad

    La Ambigedad en el ParsingDefinicin y Ejemplos

    Universidad de Cantabria

    Dificultades

  • El ProblemaConceptos

    Ambigedad

    Outline

    1 El Problema

    2 Conceptos

    3 Ambigedad

    Dificultades

  • El ProblemaConceptos

    Ambigedad

    El Problema

    En nuestra busqueda por encontrar la estructura exploraremoscomo elegir una derivacin entre varias opciones. No soloqueremos que la derivacin sea nica por sus propiedades,queremos que refleje algo del rbol de derivacin.

    Dificultades

  • El ProblemaConceptos

    Ambigedad

    El Problema

    Ntese que hay dos elementos indeterministas, para dar lasolucin al problema de palabra:

    La produccin que elegimos.La eleccin de sobre qu variable actuamos.

    Dificultades

  • El ProblemaConceptos

    Ambigedad

    El Problema

    La idea de introducir derivaciones ms a la izquierda o ms ala derecha consiste en tratar de reducir el ingredienteindeterminstico a la hora de seleccionar qu variable es lavariable sobre la que vamos a actuar con nuestrasproducciones.

    Dificultades

  • El ProblemaConceptos

    Ambigedad

    Derivaciones a la Izquierda y la Derecha

    Definicin (Derivaciones Leftmost)

    Sea G = (V ,,Q0,P) una gramtica libre de contexto. Seanc, c (V ) dos formas sentenciales.Diremos que c se obtiene mediante derivacin ms a laizquierda (o leftmost) de c, si existen ,A V , (V ), y existe una produccin A 7 ,con (V ) tales que

    c = A, c = .

    Denotaremos mediante c Glm c.

    Dificultades

  • El ProblemaConceptos

    Ambigedad

    Derivaciones a la Izquierda y la Derecha

    Definicin (Derivacin Rightmost)

    Sea G = (V ,,Q0,P) una gramtica libre de contexto. Seanc, c (V ) dos formas sentenciales.Diremos que c se obtiene mediante derivacin ms a laderecha (o rightmost) de c, si existen (V ),A V , , y existe una produccin A 7 ,con (V ) tales que

    c = A, c = .

    Denotaremos mediante c Grm c.

    Dificultades

  • El ProblemaConceptos

    Ambigedad

    Observaciones

    Usualmente, y si no hay confusin, omitiremos el super-ndiceG.Las derivaciones a la izquierda suelen ser las ms naturales,pero las derivaciones ms a la derecha tienen ms interesprctico.

    Dificultades

  • El ProblemaConceptos

    Ambigedad

    Cadenas de Derivaciones

    DefinicinDiremos que c es deducible de c mediante derivaciones ms ala izquierda (y lo denotaremos mediante c `Glm c) si existe unacadena finita de derivaciones ms a la izquierda que va de c ac. Esto es, si existen:

    c = c0 Glm c1 Glm ck1 Glm ck = c.

    Dificultades

  • El ProblemaConceptos

    Ambigedad

    Cadenas de Derivaciones

    DefinicinDiremos que c es deducible de c mediante derivaciones ms ala derecha (y lo denotaremos mediante c `Grm c) si existe unacadena finita de derivaciones ms a la derecha que va de c ac. Esto es, si existen:

    c = c0 Grm c1 Grm ck1 Grm ck = c.

    Dificultades

  • El ProblemaConceptos

    Ambigedad

    Ejemplos

    EjemploTomemos la gramtica cuyas producciones son:

    P := {Q0 7 AB | CA | AQ0 | 0,A 7 BA | 0A0 | 1,B 7 Q0A,C 7 1}.

    Una cadena de derivaciones leftmost (ms la izquierda) serala siguiente:

    Q0 AB CAB 1AB 11B 11Q0A 110A 1101.

    Una cadena de derivaciones rightmost (ms a la derecha)sera la siguiente:

    Q0 AB AQ0A AQ01 A01 0A001 01001.Dificultades

  • El ProblemaConceptos

    Ambigedad

    Grmaticas Ambiguas

    Hemos dicho que la informacin de un programa estacontenida en la estructura. Qu pasa si una palabra en ellenguaje tiene ms de una estructura?

    Dificultades

  • El ProblemaConceptos

    Ambigedad

    Grmaticas Ambiguas

    Definicin (Gramticas Ambiguas)

    Una gramtica se dice ambigua si existe una forma sentencial (V ) alcanzable desde el smbolo inicial (i.e Q0 `G )tal que existen al menos dos computaciones (derivaciones)ms a la izquierda (o ms a la derecha) distintas que permitengenerar .

    Dificultades

  • El ProblemaConceptos

    Ambigedad

    Ejemplo

    Ejemplo

    Tomemos la gramtica P := {E 7 E + E | E E | a}. Ahoradisponemos de dos cadenas de derivacin para a + a adistintas:

    E lm E +E lm a+E lm a+E E lm a+aE lm a+aa.

    Y tambin

    E lm EE lm E+EE lm a+EE lm a+aE lm a+aa.

    Por lo que la anterior gramtica es ambigua.

    Dificultades

  • El ProblemaConceptos

    Ambigedad

    La Ambiguedad es Indecidible

    TeoremaDecidir si una gramtica libre de contexto es ambigua esindecidible (i.e. no existe algoritmo que permita decidir lacualidad de ser ambigua).

    Dificultades

  • El ProblemaConceptos

    Ambigedad

    Observaciones

    Hay muchas gramticas que se generan por medio demquinas (serialization)Hay lenguajes que solo admiten gramticas ambiguas.Hay tcnicas para eliminar algunas causas de laambiguedad.

    Dificultades

    El ProblemaConceptosAmbigedad


4 ï ï 4 4 4 ï @ ï4 4 ï - nwwac.org

4 ï ï 4 4 4 ï @ ï4 4 ï - nwwac.org

ANEXO 4 - Chihuahuachihuahua.gob.mx/atach2/grupos/user1354/anexo_4_003.pdfANEXO 4 Término Definición ANEXO 4 Término Definición ANEXO 4 ANEXO 4 ANEXO 4 ANEXO 4 ANEXO 4 ANEXO 4

ANEXO 4 - Chihuahuachihuahua.gob.mx/atach2/grupos/user1354/anexo_4_003.pdfANEXO 4 Término Definición ANEXO 4 Término Definición ANEXO 4 ANEXO 4 ANEXO 4 ANEXO 4 ANEXO 4 ANEXO 4

(CORTA-JACA) Mus. Chiquinha Gonzaga Arr. Enelruy F. Lira · 2006-10-23 · b # # # ## ## # # ## # # # b b b b b 4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2

(CORTA-JACA) Mus. Chiquinha Gonzaga Arr. Enelruy F. Lira · 2006-10-23 · b # # # ## ## # # ## # # # b b b b b 4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2

PLANOS ESTRUCTURAS OK 00-Presentación1€¦ · 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 5 1 3 0 0 0 0 0 0 0 4 0 5 4 5 3 7,66 7,66 7,65 8,56 7,04

PLANOS ESTRUCTURAS OK 00-Presentación1€¦ · 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 5 1 3 0 0 0 0 0 0 0 4 0 5 4 5 3 7,66 7,66 7,65 8,56 7,04

SEGUNDO GRAN CONCIERTO OPUS - 36 - Guitarhome · Maestoso q = 100 Maestoso q = 100 4 4 4 4 4 4 4 4 4 4 & ###∑∑∑∑ SEGUNDO GRAN CONCIERTO TRNSCRIPCIÓN: LUIS ALVAREZ MAURO GIULIANI

SEGUNDO GRAN CONCIERTO OPUS - 36 - Guitarhome · Maestoso q = 100 Maestoso q = 100 4 4 4 4 4 4 4 4 4 4 & ###∑∑∑∑ SEGUNDO GRAN CONCIERTO TRNSCRIPCIÓN: LUIS ALVAREZ MAURO GIULIANI

Full Score 光の道しるべ÷ & b # # ## # # # b b b b b 44 44 44 4 4 44 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 Flute Clarinet in Bb 1 Clarinet in Bb 2 Alto Saxophone in Eb Tenor Saxophone

Full Score 光の道しるべ÷ & b # # ## # # # b b b b b 44 44 44 4 4 44 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 Flute Clarinet in Bb 1 Clarinet in Bb 2 Alto Saxophone in Eb Tenor Saxophone

GLORIA LAUS ET HONOR - titofiorenzobenetti · 2016. 7. 12. · V? & &? bbb bbb bbb bbb bbb bbb bbb bbb 4 3 4 3 43 4 3 4 3 43 4 3 4 3 4 2 4 2 42 4 2 4 2 42 4 2 4 2 4 3 4 3 43 4 3 4

GLORIA LAUS ET HONOR - titofiorenzobenetti · 2016. 7. 12. · V? & &? bbb bbb bbb bbb bbb bbb bbb bbb 4 3 4 3 43 4 3 4 3 43 4 3 4 3 4 2 4 2 42 4 2 4 2 42 4 2 4 2 4 3 4 3 43 4 3 4

トラベル・リンクtravel-link.jp/wp-content/uploads/2019/01/EPSON019.pdf · I 3 4 —53 4 5 4 5 4 5 5 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4

トラベル・リンクtravel-link.jp/wp-content/uploads/2019/01/EPSON019.pdf · I 3 4 —53 4 5 4 5 4 5 5 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4 5 4

Roland SCORE MEMORIAL - HAFABRA Music · ã & 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 44 4 4 4 4 4 4 4 4 4 4 4 4 44 44 4 4 44 44 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 Picc. Fl.

Roland SCORE MEMORIAL - HAFABRA Music · ã & 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 44 4 4 4 4 4 4 4 4 4 4 4 4 44 44 4 4 44 44 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 Picc. Fl.

CONCIERTO GUITARRA Y CUERDA - Free-scores.com : … · Guitarra Violín 1 Violín 2 Viola Violonchelo Contrabajo Allegro q = 120 Allegro q = 120 4 4 4 4 4 4 4 4 4 4 4 4 & ### ∑

CONCIERTO GUITARRA Y CUERDA - Free-scores.com : … · Guitarra Violín 1 Violín 2 Viola Violonchelo Contrabajo Allegro q = 120 Allegro q = 120 4 4 4 4 4 4 4 4 4 4 4 4 & ### ∑

León Navarrete Piedad del Socorro 4 -1 4-2 4-3: 4-4

León Navarrete Piedad del Socorro 4 -1 4-2 4-3: 4-4

 · 4 Manual ActivInspire 4 4 Introducción

 · 4 Manual ActivInspire 4 4 Introducción

dalla Gioconda Amilcare PONCHIELLI Arr. Valter Protto ......ã ã ## ## ## ## ## #### #### ## ## ## ## ## ## ## ## 4 2 4 2 4 2 4 2 4 2 42 42 4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2

dalla Gioconda Amilcare PONCHIELLI Arr. Valter Protto ......ã ã ## ## ## ## ## #### #### ## ## ## ## ## ## ## ## 4 2 4 2 4 2 4 2 4 2 42 42 4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2

Misa - partituras coro partituras coro galicia partituras gallegas · 2014. 4. 26. · Misa Cantad al Señor Manuel Angel Viro & & V? ## ## ## ## 4 4 4 4 4 4 4 4..... SOPRANOS CONTRALTOS

Misa - partituras coro partituras coro galicia partituras gallegas · 2014. 4. 26. · Misa Cantad al Señor Manuel Angel Viro & & V? ## ## ## ## 4 4 4 4 4 4 4 4..... SOPRANOS CONTRALTOS

!715*9=4$2@;6*A/@4$!6$/4$24/4$19%9/$ 6=$/4$4!:929

!715*9=4$2@;6*A/@4$!6$/4$24/4$19%9/$ 6=$/4$4!:929

!4&4 . 5.3 - UAB Barcelona · ncoc 3 5!3'45& 4 *',& 4 4 *!4 ! *.4 1 &!,5!4 nrv ncocnc * 4&#& &0,b !8.*6 &0, ; 634. *',& . nrv ncococ 3 5!3'45& 4 &,+6,.*0$& 4 nso

!4&4 . 5.3 - UAB Barcelona · ncoc 3 5!3'45& 4 *',& 4 4 *!4 ! *.4 1 &!,5!4 nrv ncocnc * 4&#& &0,b !8.*6 &0, ; 634. *',& . nrv ncococ 3 5!3'45& 4 &,+6,.*0$& 4 nso

HINO DE ARARENDÁ...b ## # # # # ## ## # # # # ## ## ## b b b b ## 4 2 4 2 4 2 4 2 4 2 4 2 4 2 42 4 2 4 2 4 2 4 2 4 2 4 2 42 4 2 4 2 4 2 4 2 4 2 4 2 Flauta (C) Requinta (E b) 1º ...

HINO DE ARARENDÁ...b ## # # # # ## ## # # # # ## ## ## b b b b ## 4 2 4 2 4 2 4 2 4 2 4 2 4 2 42 4 2 4 2 4 2 4 2 4 2 4 2 42 4 2 4 2 4 2 4 2 4 2 4 2 Flauta (C) Requinta (E b) 1º ...

Capa Frente - Baião · 2013. 7. 5. · ã bbbb bb bb bb b bb b bb bb bb bbb bbb bbb bbbb bbbb bbbb bbbb bbbb 4 4 44 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 44 4 4 4 4 4 4 4 4 4 4

Capa Frente - Baião · 2013. 7. 5. · ã bbbb bb bb bb b bb b bb bb bb bbb bbb bbb bbbb bbbb bbbb bbbb bbbb 4 4 44 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 44 4 4 4 4 4 4 4 4 4 4

L+# * ($# ! * $ * #& # * *' # $* *(+#% )€¦ · = lim [ ( ) − ] = lim + − 4 + 4 − 4 + 4 − = + − 4 + 4 − ( − 4 + 4 ) − 4 + 4 = lim 5 − 8 + 4 − 4 + 4 = ∞ ∞

L+# * ($# ! * $ * #& # * *' # $* *(+#% )€¦ · = lim [ ( ) − ] = lim + − 4 + 4 − 4 + 4 − = + − 4 + 4 − ( − 4 + 4 ) − 4 + 4 = lim 5 − 8 + 4 − 4 + 4 = ∞ ∞

4 4 4 4 4 4 4 4 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

4 4 4 4 4 4 4 4 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1