Question: LALR parser state transition

"lawrence (l.) ong" <long@nortel.ca>
15 Dec 1996 15:57:16 -0500

          From comp.compilers
Related articles
Question: LALR parser state transition long@nortel.ca (lawrence (l.) ong) (1996-12-15)
| List of all articles for this month |
From: "lawrence (l.) ong" <long@nortel.ca>
Newsgroups: comp.compilers
Date: 15 Dec 1996 15:57:16 -0500
Organization: Bell-Northern Research Ltd.
Keywords: LALR, parse, theory, question

I would like to know if it could be proven that in a correct LALR
grammar, the parser's state transition from any state to the initial
state is an incorrect transition.


The initial state being the state that contains the kernel item
S' -> {*S, $} of the augmented grammar. S' is the start symbol, * is the
position indicator, and $ is the EndOfToken indicator. Most of the
material come from Chapter 4 of the dragon book on compiler.


Thanks in advanced for your info.
--

Post a followup to this message

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