FB18 - Das Forum f├╝r Informatik

fb18.de / Diplom Informatik / Theoretische Informatik (HS)

Was bedeutet das doppel Bottom bei der Denotationalen Semantik?

Was bedeutet das doppel Bottom bei der Denotationalen Semantik? 2008-03-18 13:16
Anonymer User
Was bedeuted diese doppel Bottom (bzw. das Pi aufm Kopf)? Bei der Denotationalen Semantik?

Das einfache Bottom bedeutet ja z.B. dass da auch die Nichttermination vorkommt bzw. vorkommen kann.

danke

RE: Was bedeutet das doppel Bottom bei der Denotationalen Semantik? 2008-03-18 14:04
Fred
Hm, AFAIK benutzt man das bei der Hintereinanderausf├╝hrung von zwei Anweisungen. Falls die erste nicht terminiert, dann ist das Ergebnis der Sequenz Bottom, ansonsten das Ergebnis der zweiten Anweisung.

Kann aber auch sein, dass ich mich irre, LOS ist schon ein bischen her bei mir [25]

RE: Was bedeutet das doppel Bottom bei der Denotationalen Semantik? 2008-03-18 19:29
Anonymer User
ich liebe fred