Question: LALR parser state transition

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

          From comp.compilers

Related articles
Question: LALR parser state transition (lawrence (l.) ong) (1996-12-15)
| List of all articles for this month |

From: "lawrence (l.) ong" <>
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.