Ist bei b) zu verstehen : p => e (im nächsten Zustand gibts (unweigerlich) ein Problem)?
Oder kann auch ein Zustand x, also ein beliebiger Nachfolgezustand auftreten?

Gruß Alex.

Hi

Auf einen problematischen Zustand muß nicht zwingend ein Fehlerzustand folgen - und auch nicht direkt; es können beliebig viele Zustände dazwischen liegen.

Beispiele: (je weiter rechts, desto tiefer im Berechnungsbaum)
......p......e. ist ok
......pe....... ist ok
....p.......... ist ok
...........e... ist nicht ok

Grüße
Tobias Nopper