[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`