WHILE-Sprache Syntax

Eine formale Sprache zur Modellierung imperativer Programme:

Arithmetische Ausdrücke ( $a$ ): $n, x, a_{1} + a_{2}, a_{1} * a_{2}, . . .$
Boolesche Ausdrücke ( $b$ ): $t r u e, f a l s e, a_{1} = a_{2}, \neg b, b_{1} \land b_{2}, . . .$
Anweisungen ( $S$ ):
- $x := a$ (Zuweisung)
- $s k i p$ (Leere Anweisung)
- $S_{1}; S_{2}$ (Sequenz)
- $i f b t h e n S_{1} e l s e S_{2} f i$ (Verzweigung)
- $w h i l e b d o S o d$ (Schleife)