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.