Formale Semantik Denotationelle Semantik
Formale Semantik Denotationelle Semantik
Formale Semantik Denotationelle Semantik
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Partielle Ordnung auf Funktionen<br />
• Sei State → State = {f | f: State → State} die Menge<br />
aller (partiellen und totalen) Funktionen, die<br />
Zustände in Zustände abbilden.<br />
• g 1 v g 2 gdw. g 1 s = s´impliziert g 2 s = s´ für alle s,s´<br />
• Theorem: (State → State, v) ist eine partiell<br />
geordnete Menge. Die partielle Funktion ⊥<br />
definiert durch ⊥ s = undef für alle s ist das<br />
kleinste Element von State → State.<br />
• Beweis: Übungsaufgabe<br />
30<br />
HPS WS 2002/03<br />
Dr. Sabine Glesner