El análisis sintáctico 1. Que es el análisis sintáctico 2. Gramáticas formales
Jan 21, 2016
El análisis sintáctico
1. Que es el análisis sintáctico
2. 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:
Output:
La noia busca una feina
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
Léxico
gat N.menja V.peix N.el Det.
Texto“El gat menja peix”
Gramática 1
Oració => SN SVSN => (Det ) NSV => V SN
Oració =>Subjecte PredicatSubjecte => SNSN => (Det ) NPredicat => V ODOD => SN
Gramática 2
Gramática 3
Enunciació =>Agent PredicatAgent => SNSN => (Especificador) GNGN => N (Complement)Predicat => Verb TemaTema => SNComplement =>ADJ
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)
G (L) = <Vt,Vn,{O},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) SAB2)Aa3)Bb4)AaA5)BbB
}>
CADENA REGLA
S axiomaAB R1aB R2ab R3
Derivación
CADENA REGLA
S axiomaAB R1aAB R4aAbB R5aabB R2aabb R3
Derivación II
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) --> 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
sndet nom spdet nom prep sndet nom prep det nom spdet nom prep det nom prep sn...
Recursividad
sn --> det nom spsn --> det nomsp --> prep sn
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)
FRASE
GN FV
DET N RGN VT GN
N RGN
el gato come pescado
Estructura de dependencias
COME
GATO PESCADO
EL
sujeto objeto
determinante
gramática de casos ==> modelo de actantes (1)
COMER
GATO PESCADO
accion
agentetema
gramática de casos ==> modelo de actantes (2)
es_un: ACCION pred: COMER tiempo: PRESENTE modo: INDICATIVO ...
es_un: OBJETO tipo: GATO numero: SINGULAR genero: MASCULINO deter: DEFINIDO ...
es_un: OBJETO tipo: PESCADO numero: SINGULAR genero: MASCULINO deter: INDEFINIDO ...
agentetema
gramática de casos ==> modelo de actantes (3)
X y(gato (X)
(Y y(pescado (Y) comer(X,Y)))))
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.