Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.compilers > #2698

Re: Is it the job of a parser to validate the input data?

Show all headers | View raw

On Thursday, August 12, 2021 at 10:52:15 AM UTC-5, Christopher F Clark wrote:
> It is almost always done in the AST creation routines, not only do you
> as our insightful moderator mentioned generally get better error
> messages that way, but curiously, the features of extract a number,
> turn it into a count, and apply that count (and yes those might be 3
> distinct operations) to be how many items a list involves has not been
> implemented in any parser generator or lexer generator that I have
> ever seen. That's a bizarre omission, particularly since it is a
> common feature in many languages like networking protocols. Doing
> fixed counts isn't rare, but doing a count held in a "register" or
> "variable" seems to not be done.
>

I think the omission comes from difficulty in the formalization. Having to
apply such a dynamic count moves the parser from context-free to
context-sensitive, jumping to a new level in the Chomsky hierarchy.
So all the training wheels come off and it all gets scary.

Back to comp.compilers | Previous | Next — Previous in thread | Find similar

Thread

Is it the job of a parser to validate the input data? Christopher F Clark <christopher.f.clark@compiler-resources.com> - 2021-08-12 15:10 +0300
  Re: Is it the job of a parser to validate the input data? luser droog <luser.droog@gmail.com> - 2021-09-03 21:37 -0700

csiph-web