From: haberg_20080406@math.su.se   
      
   Michiel wrote:   
   >> 1) Is there a name for the definition of the set of tokens; preferably   
   >> a short name useful for naming identifiers?  (I do not like regular   
   >> definition since it implies a set of rules I do not follow.)   
   >   
   > Not that I know of. What about 'vocabulary'?   
      
   In Waite & Goos, the vocabulary V is the (disjoint) union of the sets of   
   non-terminals and terminals. They first defines ageneral rewriting   
   system, with sentences members of V*, the set of finite strings (the   
   free monoid) of V.   
      
   One might call non-terminals "(grammar or syntactic) variables", and   
   terminals "(grammar or syntactic) constants"; a joint name for both   
   might be "symbols" (or we decided in Bison I think).   
      
      Hans   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)