Re: Elision, or: Nick rides again in jbonai

[cowan (John Cowan)]

Dave Bowen <dmb@bigd.cray.com> writes:

> The formal grammar with all of the terminators made non-elidible is
>    LR(1) and hence unambiguous.

Almost true.  There are localized regions of the grammar that are not LALR(1),
and the lexer has to reduce these.  The parser I'm currently writing uses
recursive descent with backtracking.  In the published YACC grammar, these
constructs are flagged by being preceded by a "lexer_?_nnn" token where
? ranges from A-Y; they may be found in rules numbered 900 to 1099.

None of these lexer constructs contain elidable terminators.  They include
the logical connectives, numbers and letteral-strings, NAhE BO and NA KU,
and tense/aspect markers.  Many of them are unbounded in size due to embedded
optional tenses, so Lojban as a whole is LALR(omega).

-- 
cowan@snark.thyrsus.com		...!uunet!cbmvax!snark!cowan
		e'osai ko sarji la lojban