Starting symbol

A rewriting system operates transformations on strings of symbols. In formal grammars, a special symbol is used to indicate the initial work string (the starting symbol). 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 string. See QuickStart §3.9.