Re: Grammar ambiguity

The DMS Reengineering Toolkit may offer what you need.
http://www.semdesigns.com/Products/DMS/DMSToolkit.html. It come
equipped with a GLR parser generator, so it can parse languages with
local ambiguities (even unbounded lookahead). A nice property of GLR
grammars is that it takes very little effort to get a "reference"
grammar to act as a useful parser. As an example, we put the
Fortran90 grammar almost directly into DMS, in spite of considerably
ambiguities present in expressions with respect to element accesses.


The parser generator tool itself has a built-in heuristic ambiguity
checker; it attempts to find terminal strings leading to ambiguous
parses.


-- IDB


>In summary: Are there parser generators available that cover more than
>just LALR, and where the effort to tweak language syntax to a form
>that the generator will accept is so straightforward that I can easily
>infer whether the rewritten and the original syntax are still the same
>language?
>
>I don't have my hopes too far up, but I wanted to ask before giving
>up...

Return to the comp.compilers page.
Search the comp.compilers archives again.