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

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]

ich liebe fred