doch kein Mist
Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Lambda Kalkül
Hier ein Bild, da sonst zu kompliziert.
Attachment:
lambda.png: https://fsi.cs.fau.de/unb-attachments/post_91169/lambda.png
du brauchst da ne alpha konversion, da das z in der \b.zb ein anderes ist als in \z.fz dh:
erster schritt ist: → alpha: \z.fz wird zB zu \k.fk
1 „Gefällt mir“
i like
Das hintere z kann man doch auch ändern oder? Sodass aus \b.zb wird: \b.ob
Nein, da das hintere z (dieses: (\b . zb)) eine freie Variable ist - die darfst du nicht in einer Alpha-Konversion verändern. Stell es dir als globale Variable vor, wenn du die umbenennst funktioniert das Programm ggf. auch nicht mehr. Du darfst nur gebundene Variablen (also alle die als Parametername auftauchen, z.B (\x . x)) umbenennen.
du stalkst mich rudis 
danke für die erklärung!
bei dem ergebnis weiss man sofort dasses richtig ist 
so solls sein