Facultad de Ciencias de la Computación Fundamentos de

Anuncio
Facultad de Ciencias de la Computación
Fundamentos de Lenguajes de Programación
Ejercicios Segundo Exámen Parcial
21 de Octubre del 2014
1. Usando el operador de punto fijo, define las siguientes funciones en cálculo
lambda y calcula:
Pn
(a)
i=0 2 ∗ i, con n=3
(b) Define la suma recursiva y resuelve suma 2 2.
(c) xy , con x=2, y=3
2. Determina utilizando la semántica operacional para llamada por nombre y
llamada por valor, cuáles de las siguientes expresiones son ciertas. Justifica
tu respuesta.
(a) pred 4 = 3
(b) If iszero 0 then succ 1 else succ 2 = 2
(c) iszero 1 = false
(d) succ (succ 2) = 4
3. Utilizando los numeros de Church, resuelva usando la semántica operacional de llamada por nombre y por valor:
(a) times 2 1
(b) exp 2 1
(c) plus 1 0
1
Descargar