Formalización y Generación de Lenguajes

Docente

• Titular: Mg. Ing. Pablo Pandolfo

Objetivos

• Conocer los conceptos matemáticos formales fundamentales de la computación y diseñar modelos para solucionar problemas que subyacen los procesos de computación
• Analizar y evaluar características de un traductor para su inclusión en un proyecto de informática
• Diseñar y desarrollar traductores

Distintos nombres

• Lenguajes Formales
• Autómatas y Lenguajes Formales
• Teoría de la Computación
• Sintaxis y Semántica de los lenguajes
• Informática Teórica

Ramas de la Informática

• Ingeniería de SW
• Base de Datos
• Sistemas Operativos
• Redes
• ...
• Teoría de la Computación (a partir de la década de 1930)
  • Teoría de los Lenguajes Formales
  • Teoría de Autómatas
  • Teoría de la Computabilidad
  • Teoría de la Complejidad Computacional
  • Teoría de los Lenguajes de Programación

Campos de aplicación en distintas áreas

• Teoría de la comunicación y de control
• Diseño de computadoras (lógica de circuitos)
• Reconocimiento de patrones
• Buscadores textuales
• Compiladores

Programa

Unidad		Contenido	TPs
01	Intro	Introducción	TP Intro
01	Trad	Traducción	TP Trad
02	LR	GR	TP GR
02	LR	ER	TP ER
02	LR	AF	TP AF
02	LR	Alg AF	TP Alg AF
02	LR	Scanner	TP Scanner
03	LIC	GIC	TP GIC
03	LIC	AP	TP AP
03	LIC	Parsers	TP Parser
03	LIC	Tools	TP Tools
03	LIC	ASDB	TP ASDB
03	LIC	ASDP	TP ASDP
03	LIC	ASAB	TP ASAB
03	LIC	ASAP	TP ASAP
04	SEM	TT/TS	TP TT/TS
04	SEM	SEM	TP SEM
05	GEN	GEN

Bibliografía

• Teoría de autómatas, lenguajes y computación (Hopcroft, Motwani y Ullman)
• Compiladores: Principios, técnicas y herramientas (Alfred Aho)
• Compiladores. Teoría e implementación (Jacinto Ruiz Catalán)

Herramientas

• JFlap

TP

1. Definir y describir un lenguaje de programación
2. Implementar scanner
3. Implementar parser
4. Implementar acciones semánticas
5. Casos de prueba automatizados
6. Conclusiones