Gast unregistriert
|
|
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?
|
|
10.05.2016 16:00 |
|
|