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.
Probleme bei der Definition von F<br />
• Es gibt Funktionale, die mehr als einen<br />
Fixpunkt haben<br />
– Welchen suchen wir aus?<br />
• Es gibt Funktionale, die gar keinen Fixpunkt<br />
haben (trifft auf F offensichtlich nicht zu)<br />
– Beispiel:<br />
F 1 g =<br />
= g 1 wenn g=g 2<br />
= g 2 sonst<br />
– Ist g 1 ≠ g 2 , dann gibt es keinen Fixpunkt.<br />
19<br />
HPS WS 2002/03<br />
Dr. Sabine Glesner