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
