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.
Beispiele für obere Schranken<br />
{a, b}<br />
{a}<br />
{a, b, c}<br />
{a, c}<br />
{b}<br />
{c}<br />
{b, c}<br />
34<br />
∅<br />
Y 0 = { ∅, {a}, {a,c} }<br />
Y 3 = { ∅ }<br />
Y 1 = { ∅, {a}, {c}, {a,c} }<br />
Y 4 = { {a}, {b,c} }<br />
Y 2 = { }<br />
Übungsaufgabe: Bestimme jeweils<br />
die oberen Schranken<br />
HPS WS 2002/03<br />
Dr. Sabine Glesner