Notation for sequences of symbols
A sequence of symbols is denoted by several boxes connected by lines or tracks, as in the diagram below of a while loop.
WhileStatement
The following program fragment is constructed according to this rule.
while a == b
{
a:= a-1;
}
