ts that may be written
in arbitrary order. </P>

<PRE>   ScannerSpecification =
     { CharacterSets
     | Tokens
     | Ignorable
     | Comments
     | Pragmas
     | UserNames
     } .
</PRE>

<P><B>Character sets</B>. The <I>CharacterSets</I> component allows for the
declaration of names for character sets such as letters or digits, and defines
the characters that may occur as member of these sets. These names may be used
in the other sections of the scanner specification (but not in the parser
specifi