Formale Semantik Denotationelle Semantik
Formale Semantik Denotationelle Semantik
Formale Semantik Denotationelle Semantik
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Fixpunkt-Theorie<br />
Unser Programm im folgenden:<br />
Entwicklung einer Theorie, die die Existenz und<br />
Eindeutigkeit der angestrebten Fixpunkte garantiert<br />
27<br />
• Partiell geordnete Mengen<br />
• Im besonderen: Ordnung auf partiellen Funktionen<br />
• Eindeutigkeit eines kleinsten Elements, falls es existiert, von partiell<br />
geordneten Mengen<br />
• kleinstes Element der Funktionen, die von Zuständen in Zustände<br />
abbilden<br />
• <strong>Formale</strong> Definition der Anforderungen an FIX F<br />
• Vollständige partiell geordnete Mengen<br />
• Ketten und ihre kleinsten oberen Schranken<br />
• Ketten-vollständige partiell geordnete Mengen<br />
• Monotone und stetige Funktionen: haben kleinste Fixpunkte<br />
HPS WS 2002/03<br />
Dr. Sabine Glesner