Re: LL(1) vs LL(k)

j-grout@uiuc.edu
Sat, 9 May 1992 15:54:49 GMT

          From comp.compilers

Related articles
LL(1) vs LL(k) parrt@ecn.purdue.edu (1992-05-09)
Re: LL(1) vs LL(k) jos@and.nl (1992-05-09)
Re: LL(1) vs LL(k) j-grout@uiuc.edu (1992-05-09)
Re: LL(1) vs LL(k) mickunas@m.cs.uiuc.edu (1992-05-13)
| List of all articles for this month |

Newsgroups: comp.compilers
From: j-grout@uiuc.edu
Keywords: parse, LR(1)
Organization: UIUC Center for Supercomputing Research and Development
References: 92-05-050
Date: Sat, 9 May 1992 15:54:49 GMT

parrt@ecn.purdue.edu (Terence J Parr) writes:
>Given any deterministic language L, L$ (L appended with EOF) can always
>be described with an LR(0) grammar [Knuth65].


IMHO, this result was of limited value without a usable, deterministic
parser associated with the grammar... obviously, the canonical parser for
the LR(0) grammar cited by this result would almost always be
non-deterministic.


Years of hard work determined how to efficiently augment a
non-deterministic LR(0) parser with look-ahead sets and operator
precedence (especially DeRemer and Pennello's elegant formulation of LALR)
to make it deterministic for most languages... then (and only then) could
parsers based on LR(0) grammars be really useful.
--
John R. Grout
University of Illinois, Urbana-Champaign
Center for Supercomputing Research and Development


        INTERNET: j-grout@uiuc.edu
--


Post a followup to this message

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