2.2. Pseudocode Notation (Pseudocode-Notation)

Wir verwenden an mehreren Stellen in dieser Spezifikation Mengennotation.

• A (+) B ist die Vereinigung zweier Mengen, A und B.
• A (-) B sind die Elemente der Menge A, die nicht in Menge B sind.
• NULL ist die leere Menge oder Liste.

Darüber hinaus verwenden wir C-ähnliche Syntax:

• = bezeichnet die Zuweisung einer Variablen.
• == bezeichnet einen Vergleich auf Gleichheit.
• != bezeichnet einen Vergleich auf Ungleichheit.

Geschweifte Klammern { und } werden für Gruppierungen verwendet.

Sofern nicht anders angegeben, sollten Operationen, die durch Anweisungen mit mehreren (+)- und (-)-Operatoren spezifiziert sind, von links nach rechts ausgewertet werden, d.h. A (+) B (-) C ist die Menge, die sich aus der Vereinigung der Mengen A und B minus Elementen in Menge C ergibt.