→ mathend000# auf Λ mathend000# ist konfluent ∀A, B, C∈Λ : A→β*B∧A→β*C⇒∃D∈Λ : B→β*D∧C→β*D mathend000# (Folgerung: jeder Term hat höchstens eine Normalform) aber nicht terminierend (es gibt Terme mit unendlichen Ableitungen) W = λx.xx, Ω = WW mathend000#. es gibt Terme mit Normalform und unendlichen Ableitungen, KIΩ mathend000# mit K = λxy.x, I = λx.x mathend000# Johannes Waldmann 2014-03-31
∀A, B, C∈Λ : A→β*B∧A→β*C⇒∃D∈Λ : B→β*D∧C→β*D mathend000#
W = λx.xx, Ω = WW mathend000#.
