![]() |
Aufgaben / ÜbungenBlatt 2 |
---|
M
, N
und P
Lambda-Terme.
Zeigen oder widerlegen Sie: Wenn M
aus SubxN[P]
entsteht, gilt
FV(M) = ( FV(P)-{x} U FV(N) )
und
BV(M) = ( BV(P) U BV(N) )
xy.yx =
x.x
erweitert.
I![identisch](id.gif)
x.x
,
K![identisch](id.gif)
xy.x
und
S![identisch](id.gif)
xyz.xz(yz)
.
M
mit der Eigenschaft
MS = M
M
mit der Eigenschaft
MISS = MS
X
SI
gilt XXXX = X(X(XX))