350 likes | 590 Views
El análisis sintáctico. Que es el análisis sintáctico Gramáticas formales. Análisis sintáctico. El objetivo principal del análisis sintáctico es la obtención de una estructura de representación que describa las relaciones internas que se establecen entre los elementos de la oración.
E N D
El análisis sintáctico Que es el análisis sintáctico Gramáticas formales
Análisis sintáctico • El objetivo principal del análisis sintáctico es la obtención de una estructura de representación que describa las relaciones internas que se establecen entre los elementos de la oración
La noia busca una feina Input: Output:
Análisis sintáctico • Los componentes básicos son: • datos lingüísticos (gramática y léxico) • programa informático (analizador)
Datos lingüísticos • Gramática • Léxico • Especificación de los datos en un lenguaje determinado formalismo
Gramáticas formales • Especificación de la estructura de las cadenas de un lenguaje (formal o natural) • determina la buena formación de las frases
Gramáticas formales • Una gramática del lenguaje natural debe dar cuenta de diferentes relaciones, pe.: • orden • jerárquicas • concordancia • subcategorización • restricciones de selección
Gramáticas formales • Definición de una gramática formal • Axioma ({O}) • Conjunto de vocabulario terminal (léxico) (Vt) • Conjunto de vocabulario no terminal (metalenguaje) (Vn) • Conjunto de producciones (RP)
Ejemplo de gramática • Lenguaje con ciertas restricciones: • El vocabulario terminal se compone de ‘a’ y ‘b’. • Todas las secuencias se caracterizan por empezar por ‘a’ y finalizar por ‘b’
G (L1) = <VT = {a,b}, VN= {A,B,S}, Axioma ={S}, RP = { 1) SàAB 2)Aàa 3)Bàb 4)AàaA 5)BàbB }>
Derivación CADENA REGLA S axioma AB R1 aB R2 ab R3
Derivación II CADENA REGLA S axioma AB R1 aAB R4 aAbB R5 aabB R2 aabb R3
Ejercicio Construye la gramática formal de la frase: ‘la dóna del cap té moltes cases’
Gramáticas formales • Tipos de gramáticas • g. irrestrictas • g. dependientes de contexto • g. independientes de contexto • g. regulares
Gramática irrestricta (Gr0) • 1) a---> BC • 2) e --> B
Gramática dependiente de contexto GR1 • ABC--> AbC • B --> b / A_C • + oclusiva ---> +fricativa /Vocal_Vocal • +det && --> +det +nom &&
Gramática independiente del contexto (Gr2) • A--> AB • B--> b • A--> aaA
Gramática regular • A---> x • A----> xA
Forma normal de Chomsky • A --> BC • B --> b
Recursividad • propiedad formal que permite la reiteración de un elemento no terminal en la derivación. • productividad
Recursividad • recursividad directa • sadj --> adj sadj. • recursividad indirecta • sn --> det nom sp • sp --> prep sn
Recursividad Condición de finalización de la recursividad
Ejercicios • Escribe una gramàtica formal que sea capaz de • generar y analizar las siguentes cadenas: • 1) (aba)n; (n >= 1) • 2) a2nbn; (n >= 1) • 3) an bm; (n,m >= 1) • Dada la siguiente gramática, caracteriza el lenguaje • que genera. • 4) S aSBc S aBc cB Bc • aB ab bB bb
Ejemplo LSP (Sager) *BNF <SENTENCE> %%= <ENUNCIACION> '.'. <ENUNCIACION> %%= <SUJETO><VERBO><OD>. <SUJETO> %%= <LNR> /<*NULL>. <LNR> %%= <LN><*N><RN> / <*NULL>. <LN> %%= <*ART> / <*NULL>. <RN> %%= <*NULL>. <VERBO> %%= <*TV>. <OD> %%= <LNR>. *RESTR WCONC1= IN LNR % BOTH $SING AND $PLUR. $SING = IF CORE OF LNR HAS ATTRIBUTE SG THEN CORE OF LN DOES NOT HAVE ATTRIBUTE PL. $PLUR = IF CORE OF LNR HAS ATTRIBUTE PL THEN CORE OF LN DOES NOT HAVE ATTRIBUTE SG.