Formale Semantik Denotationelle Semantik

Monotonie ist nicht genug
• Betrachte folgende Funktion:
F: P(N ∪ {a}) → P(N ∪ {a}) mit
– f X = X falls X endlich ist
– f X = X ∪ {a} falls X unendlich ist
• f ist eine monotone Funktion.
• Aber: t´{f d | d ∈ Y} = f (tY) gilt nicht immer.
– Sei Y = {{0,1,,…,n}| n≥ 0}.
– Dann ist t{f X | X ∈ Y} = tY = N,
– aber: f(tY) = f N = N ∪ {a}
45
HPS WS 2002/03
Dr. Sabine Glesner