Re: LR(0) generation Question

André Betz <mail@andrebetz.de> wrote in news:05-10-015@comp.compilers:
> Hi I have a question about generating the LR(0) closure for an SLR(1)
> Parser Table. Following is a typical example:
    [ much snipped so as to include just the relevant context ]


> 4:
> (4,2) F->'(',.E,')';
> (0,1) E->.E,'+',T;
:
> 8:
> (4,3) F->'(',E,.')';
> ? E->E,.'+',T;
:
> So my question is:
> Wy is in Closure(8) this rule E->E,.'+',T; added.


Its there from rule 4. When you evaluate a goto, you need to make
a new state from ALL the rules in the old state the have the symbol
in question next. Since state 4 has two rules with '.E', both of
them are added to the new state with the point advanced past the 'E'.


Chris Dodd
cdodd@acm.org

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