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

Input: La noia busca una feina 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ática 2

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

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

Arbol de derivación (árbol de análisis)

Estructura de dependencias

gramática de casos ==> modelo de actantes (1)

gramática de casos ==> modelo de actantes (2)

gramática de casos ==> modelo de actantes (3)

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.