next up previous contents
Nächste Seite: Gebundene und freie Variable Aufwärts: Das Lambda-Kalkül Vorherige Seite: Das Lambda-Kalkül   Inhalt

Assoziativitätsregeln

% latex2html id marker 928 \fbox{ \parbox{12.5cm}{ {\sc Fundamentalbegriff {\a... ...uml {u}r die Abstraktion)} \\ Die Abstraktion ist assoziativ nach rechts. } }

Beispiel:

Der Ausdruck
$\lambda x . \lambda y . \lambda z . M$
kann vereinfacht so geschrieben werden:
$\lambda x y z . M$
% latex2html id marker 934 \fbox{ \parbox{12.5cm}{ {\sc Fundamentalbegriff {\a... ...ie Applikation)} \\ Die Applikation (Synthese) ist assoziativ nach links. } }

Beispiel:

Der Ausdruck:
$((M N) P)$
kann auch so geschrieben werden:
$M N P$.

Beispiel für beide Regeln:

$\lambda x . \lambda y . ((x y) z)$
ist gleichbedeutend mit
$\lambda xy.xyz$.


Georg Loczewski 2003-08-07