rewriting system operates transformations on strings of symbols. In formal
grammars, a special symbol is used to indicate the initial work string (the
This initial symbol is generally notated 'S'. It is also the default one
assumed by BP2. You may nevertheless wish to use a different symbol, or even a
string of variables as a start strin
See QuickStart §3.9.