Beispiele

• vordefinierte Kombinatoren:

  I = λx.x, K = λxy.x, S = λxyz.xz(yz) mathend000#

  Ü: Berechne Normalform von SKKx mathend000#, von SIIx mathend000#

• weitere, z. B. B = λxyz.x(yz), C = λxyz.xzy, J = λxyzw.xy(xwz) mathend000#

  Ü: simuliere B mathend000# und C mathend000# durch I mathend000# und J mathend000#