Re: [lojban] Re: Official parser problem?

[John Cowan <cowan@ccil.org>]

Robin Lee Powell scripsit:

> In linear time.
> 
> Memory usage is a bit bad, but whatever.

I'll bet: in order to be LR(\infty) equivalent, it has to keep the whole
stream of tokens available for traversal in both directions.  Be it so:
this isn't the age of 640K any more.

> [2]: Actually, without an extension to PEGs, 'zoi' cannot be handled
> without a pre-processor, and without a re-definition that is at least
> marginally sane, 'sa' doesn't even have a working definition to try to
> handle.

The definition of "sa" is straightforward: check the selma'o of the next
token rightward, and remove tokens leftward until a token of the same
selma'o has been removed (in the usual extended sense of "selma'o").

> [3]: OK, well, I *could* replicate current behaviour, but as current
> behaviour is based on the technical limitations of YACC and does not,
> for example, resemble what is described in the book, why would I do
> that?

By all means.   All of this stuff is *extremely* borderline behavior.

Are you using Rats?

-- 
John Cowan      jcowan@reutershealth.com        http://www.ccil.org/~cowan
        Is it not written, "That which is written, is written"?