75.14. Lenguajes Formales

Que el alumno aprenda programación funcional basándose en los conceptos teóricos básicos del Cálculo Lambda utilizando en la práctica los lenguajes funcionales Lisp, FP y APL.

1. Unidad 1: Sistema FP
   1. Conjuntos de objetos: átomos, secuencias e indefinido.
   2. Funciones primitivas: selectores, distribución, trasposición, rotación, condicional, predicados.
   3. Formas funcionales: composición, construcción, inserción aplicación a todo. Definición de funciones.
2. Unidad 2: APL
   1. Tipos de datos simples y estructurados. Modo comando y modo programa.
   2. Operadores monádicos y diádicos. Operadores aplicados a vectores y matrices. Producto interno y producto externo.
   3. Definición de funciones y procedimientos. Transmisión de parámetros.
3. Unidad 3: Cálculo Lambda
   1. Definición. Sintaxis. Variables libres y ligadas. Reglas de substitución.
   2. Reglas de conversión: alfa, beta y etha. Orden de evaluación: o. Normal y o aplicativo. Combinadores. Puntos fijos.
   3. Aplicaciones: Conectivos proposicionales, numerales de Church, Thunks.
4. Unidad 4: Lisp
   1. Átomos y Listas. Primitivas básicas de Lisp. Predicados y condicionales. Definición de funciones. Pasaje de parámetros. Abstracción de funciones y recursividad. Intérrprete de Basic en Lisp. Intérprete de Lisp en Lisp. Definición de pattern matching. Aplicaciones a la inteligencia artificial: Sistemas de producción.

1. Unidad I Sistema FP
   1. Átomos, secuencias e indefinido. Funciones primitivas. Formas funcionales. Definición de funciones
2. Unidad II APL
   1. Tipos de datos simples y estructurados. Operadores monádicos y diádicos. Operadores aplicados a vectores y matrices. Definición de funciones y procedimientos. Transmisión de parámetros.
3. Unidad III Cálculo Lambda
   1. Definición. Sintaxis. Variables libres y ligadas. Reglas de substitución. Reglas de conversión alfa beta y etha. Orden de evaluación: o. normal y o. aplicativo. Aplicaciones.
4. Unidad IV Lisp

1. Guía de ejercicios
2. Guía de TP de LISP en X-LISP
3. Ejercicios adicionales de LISP en X-LISP

1. Primer parcial primera oportunidad, Funcional y APL. Primer cuatrimestre 2007
2. Segundo parcial primera oportunidad, Lambda y LISP. Primer cuatrimestre 2007

• Interactive FP: Página que permite resolver ejercicios de FP.
• Try APL: Página que permite resolver ejercicios de APL.
• APL Demo: Página que permite resolver ejercicios de APL.
• Lambda: Página que permite resolver ejercicios de cálculo lambda.