---

Geschrieben von Gast am 10.05.2016 um 16:00:

  Freie und gebundene Variablen berechnen

Meine Frage:
Hallo allesamt,

ich soll freie und gebundene Variablen berechnen von:

\y -> y (x 5) (x (let x = 2 in x))
und
x (\w -> w) (let f b c = b in f)



Meine Ideen:


Ich weiß:
FV(\x -> (f x y)) = FV(f x y)\{x}
GV(\x -> (f x y)) = GV(f x y) U {x}

Leider habe ich keine Ahnung wie die obige Aufgabe lösen soll bzw. wie ich da vorzugehen habe.
Weiß vllt. jemand was ich machen muss und hat ein paar Tipps/Vorschläge?