macfernandez/seminario-gramaticas-formales

Repositorio con materiales para la cursada del seminario sobre implementación computacional de gramáticas formales en la carrera de Letras de la Facultad de Filosofía y Letras de la Universidad de Buenos Aires.

{% include head.html %}

Requerimientos técnicos

En la cursada vamos a utilizar diversos recursos computacionales, principalmente en los lenguajes de programación Python y Prolog, librerías como NLTK, Spacy y Delphin, entre otras, programas como Wish, y el sistema de control de versiones git. Para poder hacer las actividades y correr los códigos que se suban a esta repositorio, es necesario que los estudiantes tengan todo lo necesario instalado.

• Quienes tengan mayores conocimientos de programación pueden instalarse todo lo necesario a partir de la lista que incluimos abajo. Es importante aclarar que la cátedra no va a hacer un seguimiento personalizado de los problemas de instalación que puedan surgir mediante este método, por lo que recomendamos hacer la instalación independiente solo en caso de tener experiencia en la instalación de este tipo de recursos.

  • lista de recursos

• Quienes no tienen experiencia en programación o en el manejo de la línea de comandos, pueden instalarse una máquina virtual especialmente diseñada para esta cursada. Una máquina virtual es una computadora huésped que corre dentro de la anfitriona. La computadora huésped tiene su propia memoria asignada y su propio sistema operativo. La presente máquina virtual tiene como sistema operativo Ubuntu y tiene ya instalado todo lo que vamos a usar en la cursada. Pueden acceder con el siguiente link

  • máquina virtual (el sistema operativo anfitrión es indistinto)

En las partes teóricas de las clases vamos a usar handouts en pdf. Puestos que algunos de estos documentos incluyen campos especiales que no son compatibles con todos los visualizadores de pdf (por ejemplo, no todas las versiones del acrobat reader), recomendamos utilizar evince. Pueden encontrar una versión para Windows aquí o aquí. No hemos probado ninguno de los dos links, por lo que agredecemos si nos pueden avisar si funcionan bien.

Instrucciones para los trabajos prácticos

Para cumplir con la regularidad en este seminario, es necesario realizar una serie de trabajos prácticos que serán oportunamente presentados durante la cursada. Para poder resolverlos, es necesario tener en cuenta estas instrucciones.

Cronograma de clases y materiales

Clase	Fecha	Temas	Materiales
01	29/03/22	Presentación del equipo y del programa. Dinámica de clases. Presentación de trabajos prácticos.	Form de presentación Usuario de GitHub Máquina virtual
02	05/04/22	Uso básico de git. Formalización como matematización. Teoría de conjuntos y funciones. Nociones básicas de teoría de los lenguajes (lenguaje, alfabeto, etc.). Introducción a Python.	Apunte sobre git TP #1 Apuntes sobre formalización Notebook sobre Python
03	12/04/22	Jerarquía de lenguajes formales. Gramáticas, autómatas y lenguajes. Equivalencia débil y equivalencia fuerte; teoría de la complejidad.	Apunte sobre jerarquía de Chomsky Notebook sobre librería re
04	19/04/22	Gramáticas Independientes de contexto. Definición; axiomas de dominancia y de precedencia. Algunas limitaciones. Parsers: RecursiveDescentParser (NLTK), Shift-ReduceParser (NLTK), ChartParser (NLTK).	Apunte sobre CFG Notebook sobre CFG TP #2
05	26/04/22	Diferenciación entre reglas de precedencia lineal y reglas de dominancia inmediata, metarreglas, postulados de significado. Principios: la convención de Rasgo Nuclear (Head Feature Convention), principio del rasgo Foot (Foot Feature Principle), principio del control de la concordancia, Restricciones de Coaparición de Rasgos, reglas léxicas. El declive de GPSG: insuficiencia del poder restrictivo de las gramáticas independientes de contexto, complejidad computacional de GPSG.	Apunte sobre GPSG
06	03/05/22	Repaso de la gramática generativa. El minimalismo. Operaciones básicas: ensamble interno, ensamble externo, agree. Teoría de X'. Teoría de la frase desnuda. Estructura básica de la cláusula. Gramáticas minimalistas (Minimalist grammars). Las operaciones de selección, ensamble (Merge), el léxico y los ítems léxicos. Implementación en Prolog: mgpx parser.	Apunte sobre Gramáticas Minimalistas Instrucciones para correr un parser minimalista en Prolog
07	10/05/22	Gramáticas minimalistas con ensamble interno (movimiento de remanentes, movimiento de núcleos). Implementación en Prolog y Python: mghapx parser e implementación del minimalismo de Alex Warstadt.	Instrucciones para correr un parser minimalista en Prolog Apunte sobre Gramáticas Minimalistas
08	17/05/22	Gramática minimalista. Adjunción, los operadores >> y << Nociones básicas de las gramáticas de unificación y rasgos: matrices de rasgos, rasgos simples y complejos, unificación y subsunción.	Apunte sobre Gramáticas Minimalistas TP #3 Apunte sobre FCFG
09	24/05/22	Gramáticas de unificación y rasgos. Implementación mediante Feature-based grammars en NLTK	Notebook sobre FCFG
10	31/05/22	LFG: estructura-c, estructura-f, estructura-a, ecuación funcional y descripción funcional. Implementaciones computacionales: XLE (demo).	Apunte sobre LFG
11	07/06/22	Gramáticas de dependencias. La noción de dependencia. Motivaciones para las gramáticas de dependencias. Tipos de dependencias: semánticas, sintácticas y morfológicas. Definición formal. Axiomas de las Gramáticas de dependencias: condición de raíz única, conectividad, no multidominancia, proyectividad. Implementación computacional; Spacy, MaltParser, parser de dependencias de Freeling, PyStanford Dependencies.	Apunte sobre Gramáticas de Dependencias
12	14/06/22	Gramática de dependencias como cuádrupla: relaciones, terminales, categorías, funciones de asignación. Implementación computacional: ProjectiveDependencyParser de NLTK en Python.	Apunte sobre DG como cuádrupla Notebook sobre DP Notebook sobre spaCy
13	21/06/22	Gramáticas categoriales: Conectivas. Reglas: aplicación, asociatividad, composición, ascenso/Regla de Geech, división. Representación de la estructura sintáctica en términos de funciones y argumentos. Implementación de una gramática categorial clásica con el parser NLTK. CCG en Python. Proyecto OpenCCG.	Visualización de Notebook Apunte de introducción a gramáticas categoriales
14	28/06/22	Notación lambda. Paralelismo entre la sintaxis y la semántica. Reglas léxicas. Gramáticas categoriales generalizadas. Implementación en NLTK y CCG.	Apunte sobre gramáticas categoriales generalizadas Visualización de Notebook TP4
15	05/07/22	Cierre de cursada. Presentación del trabajo final.

{% include change_href.html %}

{% include additional_content.html %}