Computerlinguistik II, WS 2004/05              Aufgabenblatt 7
--------------------------------------------------------------
Abgabe: Freitag, 28.1.05

Aufgabe 10:
----------
a) Erklären Sie in Ihren eigenen Worten, wie die Umbenennung
gebundener Variablen funktioniert (Alpha-Konversion alpha/2 mit
Hilfsfunktionen, Folien S.102 f.).                    Punkte 5

b) Rechnen Sie alpha(T, TDup) am Beispiel 

    T = lam(X,Y*X => all(Y,(Z*X)*Y => Z*Y)) 

vor, mit Angabe, welcher Fall jeweils benutzt wird.   Punkte 5

Aufgabe 11:
----------
Vereinfachen Sie den Lambda-Term

    lam(X,X*lam(Y,X*(Y*a))) * lam(Z,(b*X)*(Z*Y))

schrittweise nach den Vereinfachungsregeln (wobei sie die nötigen
Beta-Reduktionsschritte zeigen, aber die Ergebnisse der Umbennenungen
einfach hinschreiben sollten).                        Punkte 5