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


Groups > comp.compilers > #2708

Re: Has lexing and parsing theory advanced since the 1970's?

From Ev Drikos <drikosev@gmail.com>
Newsgroups comp.compilers
Subject Re: Has lexing and parsing theory advanced since the 1970's?
Date 2021-09-29 05:07 -0700
Organization Compilers Central
Message-ID <21-09-015@comp.compilers> (permalink)
References <21-09-008@comp.compilers>

Show all headers | View raw


On Thursday, September 16, 2021 at 7:56:25 PM UTC+3, Roger L Costello wrote:
>
> That said, Flex & Bison is old. Has lexing/parsing theory advanced since the
> 1970’s? If yes, are there parser generators available today which are based on
> those advances in lexing/parsing theory? Or does Flex & Bison still represent
> the state-of-the-art in terms of the underlying theory it uses?

Hello,

The routines that recognize tokens are still called scanners and those
that parse the input are still called parsers. That explained, this long
list may give a clue of what an answer to your last question shall be:
https://en.wikipedia.org/wiki/Comparison_of_parser_generators

Yet, I haven't used most of them. So, I'll give you an example with
Syntaxis, a tool I've coded that isn't included in the above list.

If we try to parse this erroneous Fortran line with the command 'fcheck'
(binary available at https://github.com/drikosev/Fortran) we see that
the expected tokens in the error message contain both a '=' and a name:

program ? ; end

Note that the command 'fcheck' uses a deterministic parser (built by
Syntaxis) and the expected tokens in an error message are pre-computed.

To my knowledge, the ability of a parser to shift simultaneously two
distinct terminals in one transition isn't an advancement in theory but
I guess several tools mentioned in the Wikipedia list above possibly
provide similar or better goodies (ie Chris Clark described an ANTLR4
feature that advances theory directly).

Regards,
Ev. Drikos

Back to comp.compilers | Previous | NextPrevious in thread | Find similar


Thread

Has lexing and parsing theory advanced since the 1970's? Roger L Costello <costello@mitre.org> - 2021-09-14 13:16 +0000
  Re: Has lexing and parsing theory advanced since the 1970's? anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2021-09-16 17:09 +0000
  Re: Has lexing and parsing theory advanced since the 1970's? Kaz Kylheku <480-992-1380@kylheku.com> - 2021-09-17 05:51 +0000
  Re: Has lexing and parsing theory advanced since the 1970's? Ev Drikos <drikosev@gmail.com> - 2021-09-29 05:07 -0700

csiph-web