Ãbersicht Formale Semantik Idee: Definiere Effekte
Ãbersicht Formale Semantik Idee: Definiere Effekte
Ãbersicht Formale Semantik Idee: Definiere Effekte
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Beispiel: Potenzmengen<br />
Partielle Ordnung auf Funktionen<br />
29<br />
Sei S≠ ∅ und die Potenzmenge P(S) = {K | K⊆ S}.<br />
Es gilt: (P(S), ⊆) ist eine partiell geordnete Menge.<br />
Beispiel: S = {a, b, c}.<br />
größtes Element<br />
{a, b, c}<br />
{a, b}<br />
{a}<br />
Solche Diagramme nennt<br />
man Hasse-Diagramme.<br />
HPS WS 2002/03<br />
{a, c}<br />
{b}<br />
∅<br />
{b, c}<br />
{c}<br />
kleinstes Element<br />
Dr. Sabine Glesner<br />
30<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 />
HPS WS 2002/03<br />
Dr. Sabine Glesner<br />
Beispiel: Partiell geordnete Funktionen<br />
Charakterisierung der partiellen Ordnung<br />
• g 1 s = s für alle s<br />
• g 2 s = s falls s x ≥ 0, g 2 s = undef sonst<br />
• g 3 s = s falls s x = 0, g 3 s = undef sonst<br />
• g 4 s = s falls s x · 0, g 4 s = undef sonst<br />
Partielle Ordnung:<br />
g 1<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 />
• Definition: graph(g) = { (x,y) | g(x)=y }<br />
• Lemma:<br />
g 1 v g 2 genau dann, wenn graph(g 1 ) ⊆ graph(g 2 ).<br />
g 2 g 4<br />
31<br />
g 3<br />
HPS WS 2002/03 Dr. Sabine Glesner<br />
HPS WS 2002/03<br />
Dr. Sabine Glesner<br />
32