Práctica 2 (Paradigmas)

Ejercicio 1

Determinar qué expresiones son sintácticamente válidas (es decir, pueden ser generadas con las gramáticas presentadas) y determinar a qué categoría pertenecen (expresiones de términos o expresiones de tipos): a) x b) x x c) M d) M M e) true false f) true succ(false true) g) λx.isZero(x) h) λx: σ. succ(x) i) λx: Bool. succ(x) j) λx: if true then Bool else Nat. x k) σ l) Bool m) Bool → Bool n) Bool → Bool → Nat ñ) (Bool → Bool) → Nat o) succ true p) λx: Bool. if 0 then true else 0 succ(true)