Übung Lambda-Kalkül

• Wiederholung: konkrete Syntax, abstrakte Syntax, Semantik
• S = λxyz.xz(yz), K = λab.a, Normalform von SKKc
• t = λfx.f (fx), Normalform von ttS0
• definiere Λ als algebraischen Datentyp data L = ... (3 Konstruktoren)

  implementiere size :: L -> Int, depth :: L -> Int.

  implementiere bvar :: L -> S.Set String, fvar :: L -> S.Set String,

  siehe Folie mit Definitionen und dort angegebene Testfälle

  benutze import qualified Data.Set as S, API-Dokumentation: https://hackage.haskell.org/package/containers-0.5.5.1/docs/Data-Set.html

• autotool-Aufgaben Lambda-Kalkül