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;
}
Copyright © 2013
Software AG, Darmstadt, Germany and/or Software AG USA Inc., Reston, VA, USA, and/or Terracotta Inc., San Francisco, CA, USA, and/or Software AG (Canada) Inc., Cambridge, Ontario, Canada, and/or, Software AG (UK) Ltd., Derby, United Kingdom, and/or Software A.G. (Israel) Ltd., Or-Yehuda, Israel and/or their licensors.
