Formale Semantik Denotationelle Semantik

Charakterisierung der partiellen Ordnung
• Sei State → State = {f | f: State → State} die Menge
aller (partiellen und totalen) Funktionen, die
Zustände in Zustände abbilden.
• Definition: graph(g) = { (x,y) | g(x)=y }
• Lemma:
g 1 v g 2 genau dann, wenn graph(g 1 ) ⊆ graph(g 2 ).
32
HPS WS 2002/03
Dr. Sabine Glesner