Related articles |
---|
parser generator terminology rpboland@gmail.com (Ralph Boland) (2009-09-06) |
Re: parser generator terminology mhelvens@gmail.com (Michiel) (2009-09-06) |
Re: parser generator terminology DrDiettrich1@aol.com (Hans-Peter Diettrich) (2009-09-06) |
Re: parser generator terminology cfc@shell01.TheWorld.com (Chris F Clark) (2009-09-06) |
Re: parser generator terminology cfc@shell01.TheWorld.com (Chris F Clark) (2009-09-07) |
Re: parser generator terminology haberg_20080406@math.su.se (Hans Aberg) (2009-09-07) |
Re: parser generator terminology mhelvens@gmail.com (Michiel) (2009-09-07) |
Re: parser generator terminology cfc@shell01.TheWorld.com (Chris F Clark) (2009-09-07) |
Re: parser generator terminology haberg_20080406@math.su.se (Hans Aberg) (2009-09-09) |
Re: parser generator terminology cfc@shell01.TheWorld.com (Chris F Clark) (2009-09-13) |
Re: parser generator terminology haberg_20080406@math.su.se (Hans Aberg) (2009-09-14) |
Re: parser generator terminology gneuner2@comcast.net (George Neuner) (2009-09-14) |
From: | Hans Aberg <haberg_20080406@math.su.se> |
Newsgroups: | comp.compilers |
Date: | Mon, 07 Sep 2009 09:16:23 +0200 |
Organization: | A noiseless patient Spider |
References: | 09-09-038 09-09-039 |
Keywords: | parse, theory |
Posted-Date: | 07 Sep 2009 06:50:14 EDT |
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
Return to the
comp.compilers page.
Search the
comp.compilers archives again.