30.01.2014 Aufrufe

Formale Semantik Denotationelle Semantik

Formale Semantik Denotationelle Semantik

Formale Semantik Denotationelle Semantik

MEHR ANZEIGEN
WENIGER ANZEIGEN

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

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!