Thema7

Aus ProgrammingWiki
< BuK < IIm12 < Studenten < siclsche
Archivierte Version vom 2013-05-23T07:50:02+00:00. Aktuelle Version

Aufgabe 1

  1. Implementieren Sie die Prozedur free mit Scheme im ProgrammingWiki und wenden Sie sie auf selbst gewählte Beispiele an
  2. Implementieren Sie die Prozedur bound mit Scheme im ProgrammingWiki und wenden Sie sie auf selbst gewählte Beispiele an

Aufgabe 2

Aufgabe 3

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

  • Verwenden Sie die obige \eta-Regel.
  • Verwenden Sie nur die \beta-Regel und vergleichen Sie beide Teilaufgaben-Lösungen miteinander.