Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Institut fur Informatik WS 2006/07 der Universitat Munchen
 

Summary: Institut f®ur Informatik WS 2006/07
der Universit®at M®unchen
Dipl. Inf. Andreas Abel 22. Oktober 2008
®Ubungen zur Vorlesung
Lambda-Kalk®ul
Blatt 1
Hinweis: Statt SML k®onnen Sie auch eine andere Programmiersprache verwen-
den (Scheme, Haskell, . . . ).
Aufgabe P-1 (Terme als B®aume): Stellen Sie die Terme x. x y. x y y und
(x. z x) zz als B®aume dar.
Aufgabe P-2 (Lokal-namenlose Repr®asentation von Termen):
Geben Sie lokal-namenlose Repr®asentationen von folgenden Termen an:
a) (yx. y (y x)) (x x) (y. y y)
b) (x. y x (y. z x y (z. z y x)))
Aufgabe P-3 (Implementierung lokal-namenloser Terme): In SML kann
man -Terme in lokal-nameloser Repr®asentation wie folgt durch einen algebrai-
schen Datentypen implementieren.
datatype Tm =
BV of int (* bound variable *)
| FV of string (* free variable *)

  

Source: Abel, Andreas - Theoretische Informatik, Ludwig-Maximilians-Universit√§t M√ľnchen

 

Collections: Computer Technologies and Information Sciences