BuK-Übung08

Semantik: \alpha-Regel (Felix Nitsche, Stefan Lüttke)

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

Semantik: \eta-Regel (Daniel Tasche, Jens Heider)

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

Reduktion (Raik Bieniek, Max Wielsch)

• 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))

Reduktionsreihenfolge (Ingo Körner, Christof Ochmann)

• Zeigen Sie dass es von der Reduktionsreihenfolge abhängen kann, ob die für ((\lambda y. z)((\lambda x. (x x))(\lambda x. (x x)))) existierende Normalform z gefunden wird oder nicht.
• Verwenden Sie zur Berechnung von ((\lambdax. ((x d)((\lambda y. (x y)) a))) b) unterschiedliche Reduktionsreihenfolgen.

Boolesche Werte (Stefan Scheumann, Robert Rosenberger)

Berechnen Sie  if true e1 e2 = e1.

Curryfizierung (Ronald Krause, Tobias Salzmann)

Currifizieren Sie  f(x, y, z) = x + y + z

Registermaschine(Ronald Krause, Tobias Salzmann)

Führen Sie folgendes Programmbeispiel per Hand aus.