Freie und gebundene Variablen berechnen |
10.05.2016, 16:00 | Auf diesen Beitrag antworten » |
Gast | 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? |
|
|