Gepostet: |
Freie und Gebundene Variablen berechnen | ||||||||||
a) s1 := \y -> if (x y) then ((\w -> w) y) else ((\z -> z) z) b) s2 := let g x = (\x -> \y -> (g y)) in let w = g u (g y); z = w in g Ich habe zwar die Musterlösung,aber ich verstehe nicht das Vorgehen wie man freie und gebundene Variablen berechnet.Wäre sehr nett wenn mir jemand das Schritt für Schritt erklären würde.Danke schon mal im Vorraus |
|||||||||||
Zum Seitenanfang | |||||||||||