Path: csiph.com!xmission!usenet.csail.mit.edu!news.iecc.com!.POSTED.news.iecc.com!nerds-end
From: Richard Rogers <rprogers@seanet.com>
Newsgroups: comp.compilers
Subject: LALR look-ahead sets from item right context grammar?
Date: Thu, 29 Jan 2026 18:25:19 -0500
Organization: Compilers Central
Sender: johnl%iecc.com
Approved: comp.compilers@iecc.com
Message-ID: <26-01-005@comp.compilers>
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Injection-Info: gal.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970"; logging-data="87269"; mail-complaints-to="abuse@iecc.com"
Keywords: LALR, question
Posted-Date: 29 Jan 2026 21:32:43 EST
X-submission-address: compilers@iecc.com
X-moderator-address: compilers-request@iecc.com
X-FAQ-and-archives: http://compilers.iecc.com
Xref: csiph.com comp.compilers:3710

In discussing LR-Regular parsing, Grune [1] gives an algorithm for computing
the CFG of LR(0) item right contexts. I wondered if LALR(1) look-ahead sets
are just the FIRST of the item right context grammar?

1. @book{Grune:1990:PTP:130365,
 author = {Grune, Dick and Jacobs, Ceriel J. H.},
 title = {Parsing Techniques: A Practical Guide},
 year = {1990},
 isbn = {0-13-651431-6},
 publisher = {Ellis Horwood},
 address = {Upper Saddle River, NJ, USA},
}