Re: [fonc] Earley Parsing Explained (incomplete first draft)

2014-09-21 Thread Josh Grams
On 2014-09-20 07:59PM, Loup Vaillant-David wrote: By default, Earley recognisers store their Earley items in such a way that reconstruction (or back pointer following) happens from right to left. Which means the first ambiguities will be detected at the *end* of the parse. But a depth-first

Re: [fonc] Earley Parsing Explained (incomplete first draft)

2014-09-20 Thread Josh Grams
On 2014-09-20 06:58AM, Josh Grams wrote: Mainly the recognizer. Did you figure that out? I think the important insight is that matches added by scanning and completion operations represent a (partial) derivation step. Gah. Not scanning. What am I saying? Only completion. The completion operation

Re: [fonc] Earley Parsing Explained (incomplete first draft)

2014-09-20 Thread Loup Vaillant-David
On Sat, Sep 20, 2014 at 11:57:58AM -0400, Josh Grams wrote: On 2014-09-20 02:27PM, Loup Vaillant-David wrote: Actually, you don't need the back pointers. Plain Earley items are enough. Even better, you don't need all the items. You only need the completed ones. Sure, it's just a classic

[fonc] Earley Parsing Explained (incomplete first draft)

2014-09-18 Thread Loup Vaillant-David
Hi, After spending months banging my head over Earley Parsing, I have decided to write a tutorial. Ian once said Earley parsing is simple and easy to implement. I agree with simple, but not with easy. The required background knowledge is not trivial. This tutorial is an attempt to gather this

Re: [fonc] Earley Parsing Explained (incomplete first draft)

2014-09-18 Thread Julian Leviston
On 19 Sep 2014, at 7:11 am, Loup Vaillant-David l...@loup-vaillant.fr wrote: Hi, After spending months banging my head over Earley Parsing, I have decided to write a tutorial. Ian once said Earley parsing is simple and easy to implement. I agree with simple, but not with easy. The