BuK-Übung08

Aus ProgrammingWiki
< BuK < IIm11
Archivierte Version vom 2012-05-16T15:12:45+00:00. Aktuelle Version

Wenden Sie für ((\lambda x. ( \lambda y. ((x y)))(y w)) vor der \beta-Reduktion die \alpha-Konvention an.

Vereinfachen Sie den Racket-Ausdruck (\lambda(z)((\lambda(x)(* 3 x)) z)).

Reduzieren Sie ((\lambda(x)(x x))(\lambda(x) x)) und ((\lambda(x)(x x))(\lambda(x)(x x))).

Zeigen Sie, dass für  Y := (\lambda f. ((\lambda x. (f (x x)))(\lambda x. (f (x x))))) gilt: (Y g) = (g (Y g)).