Hey, stimmt die folgende Umformung? β α (λabc.a(bb)c)(λxy.xya)(λa.a) = (λbc.(λxy.xya)(bb)c)(λa.a) = (α-Reduktion, da (λa.a) und (λxy.xya) beides die Variable a haben) β (λbc.(λxy.xya)(bb)c)(λz.z) = (λc.(λxy.xya)((λz.z) (λz.z))c) ist in Normalform Danke im Voraus
Jemand eine Idee?
Bump (hoffe auf Antwort)
Ein anderes Problem?
Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos