[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: LR(1) paser generator based on Pager's algorithm
From: |
Joel E. Denny |
Subject: |
Re: LR(1) paser generator based on Pager's algorithm |
Date: |
Mon, 2 Apr 2007 14:20:01 -0400 (EDT) |
On Mon, 2 Apr 2007, Joel E. Denny wrote:
> > In my impression, this can intuitively
> > cover all such cases, and this problem is already solved. A strict proof
> > may be needed. Then as Knuth said, be alerted, since "I have proved it,
> > but did not try it"..
>
> Here's a counter-example:
>
> S: 'a' A 'a'
> | 'b' A 'b'
> ;
> A: 'a' 'a' 'a'
> | 'a' 'a'
> ;
>
> Here's the additional itemset that must be split:
>
> A: 'a' . 'a' 'a' ['a' 'b']
> | 'a' . 'a' ['a' 'b']
But hmm... I easily foresee the upcoming S/R conflict by inspection.
This looks promising, but I need to think more about whether that works in
general. I have to run now.
- Re: LR(1) paser generator based on Pager's algorithm, Joel E. Denny, 2007/04/01
- Re: LR(1) paser generator based on Pager's algorithm, Paul Hilfinger, 2007/04/01
- Re: LR(1) paser generator based on Pager's algorithm, Joel E. Denny, 2007/04/01
- Re: LR(1) paser generator based on Pager's algorithm, Joel E. Denny, 2007/04/01
- Re: LR(1) paser generator based on Pager's algorithm, Xin Chen, 2007/04/15
- Re: LR(1) paser generator based on Pager's algorithm, Joel E. Denny, 2007/04/02
- Re: LR(1) paser generator based on Pager's algorithm, Xin Chen, 2007/04/15
- Re: LR(1) paser generator based on Pager's algorithm, Joel E. Denny, 2007/04/02
- Re: LR(1) paser generator based on Pager's algorithm,
Joel E. Denny <=
- Re: LR(1) paser generator based on Pager's algorithm, Xin Chen, 2007/04/15
- Re: LR(1) paser generator based on Pager's algorithm, Joel E. Denny, 2007/04/03
- Re: LR(1) paser generator based on Pager's algorithm, Xin Chen, 2007/04/15
- Re: LR(1) paser generator based on Pager's algorithm, Xin Chen, 2007/04/15
- Re: LR(1) paser generator based on Pager's algorithm, Joel E. Denny, 2007/04/07
- Re: LR(1) paser generator based on Pager's algorithm, Xin Chen, 2007/04/15
Re: LR(1) paser generator based on Pager's algorithm, Akim Demaille, 2007/04/15