practicando






















I. INTRODUCCION
La teoría de lenguajes de programación (comúnmente conocida como PLT) es una rama de la informática que se encarga del diseño, implementación, análisis, caracterización y clasificación de lenguajes de programación y sus características.

Un símbolo no oficial de la teoría de lenguajes de programación es la letra griega lambda enminúsculas. Este uso deriva del cálculo lambda, un modelo computacional ampliamente usado por investigadores de lenguajes de programación. Muchos textos y artículos sobre programación y lenguajes de programación utilizan lambda de una u otra manera.

Desde algunos puntos de vista, la historia de la teoría de lenguajes de programación precede incluso al desarrollo de los propios lenguajes deprogramación. El cálculo lambda, desarrollado por Alonzo Church, Max HL. Solis Villareal y Stephen Cole Kleene en la década de 1930, es considerado ser uno de los primeros lenguajes de programación del mundo, incluso pese a que tenía intención de modelar la computación más que ser un medio para que los programadores describan algoritmos para un sistema informático. Muchos lenguajes de programaciónfuncional se han caracterizado por proveer una "fina apariencia" al cálculo lambda, y muchos se describen en sus términos.









II. OBJETIVOS
II.1 OBJETIVO GENERARAL
Mostrar la importancia del empleo de las funciones en el cálculo lambda, un modelo computacional ampliamente usado por los investigadores dentro de los lenguajes de programación.
II.2 OBJETIVOS ESPECIFÍCOS
Enfocarnos en laimportancia de las funciones computacionales.
Dar a conocer que el cálculo lambda ha sido empleado como fundamento conceptual para los lenguajes de programación.
Identificar y asegurar que la sintaxis del cálculo lambda sean definidas correctamente.
Conocer que el cálculo lambda es universal porque cualquier función computable puede ser expresada y evaluada a través de él.

III. CÁLCULOLAMBDA

III.1 CONCEPTOS BASICOS
La definición de funciones es una de las características básicas de cualquier lenguaje de programación. En lugar de escribir la misma fórmula una y otra vez, decimos una función o procedimiento realiza el cálculo de forma genérica en función (o no) de un conjunto de parámetros. Por ejemplo, un programador sustituirá la expresión:
(5 * 4 * 3 * 2 * 1) + (7 * 6 *5 *4 * 3 * 2 * 1) - (3 * 2 * 1)
Por factorial (5) + factorial (7) - factorial (3) una vez definida la función:
Factorial (n) = if n = 0 then 1 else n * factorial (n-1)
En el cálculo lambda, la expresión ``λn. ...'' equivale “la función que, para cada n devuelve...". Utilizando esta notación, podemos reescribir la función factorial como:
Factorial = λn. if n = 0 then 1 else n * factorial (n-1)
Enel cálculo lambda TODOS son funciones.

III.2 DEFINICIÓN DEL CALCULO LAMBDA
El cálculo lambda es un sistema formal diseñado para investigar la definición de función, la noción de aplicación de funciones y la recursión.  Puede ser usado para definir de manera limpia y precisa qué es una "función computable" (funciones que pueden ser calculadas con una máquina de cálculo).
El cálculo lambdafue desarrollado por Alonso Churchen la década de 1930 con el objeto de dar una teoría general de las funciones.
El cálculo lambda ha sido empleado como fundamento conceptual de los lenguajes de programación, aportando:
Una sintaxis básica.
Una semántica para el concepto de función como proceso de transformación de argumentos en resultados.
Un medio para definir primitivas de programación.Consideraciones acerca del cálculo lambda:
El cálculo lambda tiene una gran influencia sobre los lenguajes funcionales, como Lisp, ML y Haskell.
Se puede considerar al cálculo lambda como el más pequeño lenguaje universal de programación que consiste en una regla de transformación simple (sustitución de variables) y un esquema simple para definir funciones.

III.3 SINTAXIS DEL CÁLCULO...