Re: grammar ambiguity

I was asked for a reference on the following section, and it seemed worth
posting:
> A different approach to extending the reach of parsers is the use of
> non-terminal lookahead. I have 3 papers by someone who researched
> that, and called the technique non-canonical LR if I recall correctly.


One of the papers was:


Building Efficient Two-Stack Parsers:
One-Symbol Look-ahead Parsing for a Broad Class of Context Free Grammars


Robert E. Buckley
University of South Australia
(Bob.Buckley@UniSA.edu.au)


Michael J. Oudshoorn
University of Adelaide
(michael@cs.adelaide.edu.au)


BTW, they do not call their method "non-canonical" (at least not in
the above paper). That name was invented by Knuth and refers to
parsing mathods that reduce something other than the left-most
possible reduction, and includes their technique (as they can reduce
the look-ahead non-terminal before the non-terminal in conflict).


Hope this helps,
-Chris


*****************************************************************************
Chris Clark Internet : compres@world.std.com
Compiler Resources, Inc. CompuServe : 74252,1375
3 Proctor Street voice : (508) 435-5016
Hopkinton, MA 01748 USA fax : (508) 435-4847 (24 hours)
------------------------------------------------------------------------------
Web Site in Progress: Web Site : http://world.std.com/~compres

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