Expresiones Lambda

Por

λCálculo

El cálculo lambda fue desarrollado por Alonso Church en la década de los 30, con el objeto de dar una teoría general de las funciones.

Algunos Lenguajes de Programación que soportan lambda cálculo son los que usan programación funcional como: Haskell, Python(HaPy), Lisp, entre otros.

Transformar una función en λ Cálculo

f(x)= 3x+2-y

En expresion lambda
(λx. (-(+ 2 (* 3 x)) y))

la cual se divide en:

ARGUMENTO

λx

APLICACION

(-(+ 2 (* 3 x)) y)
Para la aplicación a la segunda parte de la función se le transforma de infijo a prefijo.

Código

Pasamos la ecuación ingresada a expresión lambda, separando argumento de aplicación

  Revisar código completo: https://gitlab.com/JSiapo/Lambda-Calculo

ENLACES RELACIONADOS

Especificación formal de Sistemas

Comentarios

Publicar un comentario

Popular Posts

Sistemas Distribuidos - Tolerancia a fallos

Por
Imagen
INTRODUCCIÓN A LA TOLERANCIA A FALLOS INTRODUCCIÓN Una característica donde los sistemas distribuidos difieren de un sistema de una sola máquina es la noción de fallo parcial . En un sistema distribuido una falla puede afectar la operación de algunos componentes y otros no verse afectados. En un sistema no distribuido, una falla afecta todos los componentes. Un objetivo importante en el diseño de Sistemas Distribuidos es construirlos de manera que puedan recuperarse de fallas parciales sin que se afecte. Siempre que ocurra una falla, el Sistema Distribuido debe continuar operando de modo aceptable mientras se soluciona, es decir, tolerar las fallas . CONCEPTOS BÁSICOS Ser tolerante a fallas está fuertemente relacionado a los sistemas fiables, y ello involucra lo siguiente: DISPONIBILIDAD Propiedad por la cual, una sistema está listo para ser utilizado inmediatamente . Probabilidad de que un sistema esté operando correctamente en cualquier momento dado y disponible a ...
Ver mas »

Crear Autómata Finito Determinista desde una Expresión Regular

Por
Imagen
En este post explicaré paso a paso como crear un autómata finito determinista a partir de una expresión regular. Primero necesitaremos esta tabla para el cálculo de la primerpos y la ultimapos: Ejemplo: De la expresión regular crear su autómata finito determinista: a(bc*)*+a primero se concatena el símbolo # al final de la expresión regular como delimitador. a(bc*)*+a# Ahora al trabajar el árbol sintáctico se debe tener en cuenta la prioridad de los operadores: Paréntesis cerradura de klein (*), cerradura positiva (+) concatenación (.) disyunción (|) Según estas prioridades se procede a crear el árbol sintáctico de la expresión regular. y se enumeran los nodos hojas (nodos que no tienen hijos). Cálculo de anulables, primerapos y ultimapos usando la tabla anterior: pp: primerapos up: ultimapos Ahora hallamos la siguientepos(i): Si n es un nodo concatenación (.) con hijo izquierdo c1 e hijo derecho c2, e i es una posición dentro de la ...
Ver mas »

Instalar OpenGL en Linux

Por
Imagen
Comando para instalar freeglut en linux: sudo apt-get install g++ freeglut3 freeglut3-dev Si la terminal pide alguna confirmación, escriben 'Y' si su sistema operativo se encuentra en inglés o 'S' si su sistema operativo está en español. Consideré Zinjai como IDE por su simplicidad y es más fácil de entender, tanto en Windows como en Linux. Instalación de Zinjai Video de explicación: Enlaces relacionados Computaación Gráfica Instalación
Ver mas »