exp de 44
Páginas: 3 (709 palabras)
Publicado: 11 de octubre de 2015
Calculo Lambda
Docente :
Lic. Contreras Candia Juan Gonzalo
Integrantes :
Univ. Callisaya Apaza Wilmer David
Univ. Coarita Condori Marco Antonio
Univ. Colque flores Miguel Arturo
La Paz - BoliviaVo Bo
CALCULO LAMBDA
Orígenes del Calculo Lambda
El calculo lambda fue inventado por Alonzo
Church en la década de 1930.
Es utilizado para estudiar la
Computabilidad. en paralelo, Turingpresenta su maquina.
En los 1960s, Peter Landin muestra que se
puede usar para dar semántica a los
lenguajes de programación imperativos.
Los lenguajes funcionales están basados en
el calculo lambda. Orígenes del Calculo Lambda
El cálculo lambda es equivalente a las máquinas
de Turing, sin embargo el cálculo lambda es una
propuesta más cercana al software que al
hardware.
El cálculolambda se puede considerar como el
lenguaje universal más pequeño.
Ha sido empleado también como fundamento
conceptual de los lenguajes de programación.
Lambda Términos
El cálculo lambda trabaja conobjetos llamados lambda-términos, los
cuales son cadenas de símbolos de la siguiente forma:
v
λv.E1
(E1 E2)
Dónde:
v es una variable.
E1 y E2 son lambda-términos, también son llamadosaplicaciones,
esta forma representa la llamada a la función E 1 recibiendo como
argumento E2
λv.E1 son abstracciones, es una función que recibe v como valor para
sustituir y devuelve el valor de E1para cada ocurrencia de lambda
SINTAXIS
Sintaxis
Con este pequeño lenguaje se pueden representar todas las
funciones computables! (Tesis de Church)
Esta simpleza hace que:
Se facilite laprueba de propiedades.
Se use para dar semántica a lenguajes imperativos y funcionales.
Su use como metalenguaje para definir otras teorías y cálculos.
La elegancia hace que sea maspractico!
Sintaxis
La sintaxis del Cálculo Lambda es:
::=
λ.
()
Esta sintaxis solo representa a las funciones con un argumento. Si se
quieren más...
Docente :
Lic. Contreras Candia Juan Gonzalo
Integrantes :
Univ. Callisaya Apaza Wilmer David
Univ. Coarita Condori Marco Antonio
Univ. Colque flores Miguel Arturo
La Paz - BoliviaVo Bo
CALCULO LAMBDA
Orígenes del Calculo Lambda
El calculo lambda fue inventado por Alonzo
Church en la década de 1930.
Es utilizado para estudiar la
Computabilidad. en paralelo, Turingpresenta su maquina.
En los 1960s, Peter Landin muestra que se
puede usar para dar semántica a los
lenguajes de programación imperativos.
Los lenguajes funcionales están basados en
el calculo lambda. Orígenes del Calculo Lambda
El cálculo lambda es equivalente a las máquinas
de Turing, sin embargo el cálculo lambda es una
propuesta más cercana al software que al
hardware.
El cálculolambda se puede considerar como el
lenguaje universal más pequeño.
Ha sido empleado también como fundamento
conceptual de los lenguajes de programación.
Lambda Términos
El cálculo lambda trabaja conobjetos llamados lambda-términos, los
cuales son cadenas de símbolos de la siguiente forma:
v
λv.E1
(E1 E2)
Dónde:
v es una variable.
E1 y E2 son lambda-términos, también son llamadosaplicaciones,
esta forma representa la llamada a la función E 1 recibiendo como
argumento E2
λv.E1 son abstracciones, es una función que recibe v como valor para
sustituir y devuelve el valor de E1para cada ocurrencia de lambda
SINTAXIS
Sintaxis
Con este pequeño lenguaje se pueden representar todas las
funciones computables! (Tesis de Church)
Esta simpleza hace que:
Se facilite laprueba de propiedades.
Se use para dar semántica a lenguajes imperativos y funcionales.
Su use como metalenguaje para definir otras teorías y cálculos.
La elegancia hace que sea maspractico!
Sintaxis
La sintaxis del Cálculo Lambda es:
λ
(
Esta sintaxis solo representa a las funciones con un argumento. Si se
quieren más...
Leer documento completo
Regístrate para leer el documento completo.