Lösungsvorschlag: Fehlerhafte PAP-Konstrukte
Beispiel 1
Beispiel 2
Beispiel 3
Die Iteration “Solange zahl < 100” hat keinen Nachfolger, wenn die Bedingung nicht mehr erfüllt ist.
Beispiel 4
Die Iteration “Solange zahl < 100” hat zwei Ausgänge:
- Wenn die Zahl grösser/gleich 100 wird die Iteration korrekt beendet.
- Wenn die Zahl gleich 32 ist, gibt es einen verbotenen “Notausgang”.
Beispiel 5
Dieses Konstrukt ist formal korrekt.