[climacs-devel] grammar definition

[Nicolas Sceaux]

Robert Strandh <strandh at labri.fr> writes:

> Perhaps a compromise would be to specify a rule pretty much the
> standard way, but to allow for a state name to be inserted between two
> parser symbols, for instance:
>
>    (list -> left-parenthesis-lexeme {the-state-we-want-to-be-in} ...)
>
> or something like that.  
>
> This kind of practice will sometimes create conflicts when you submit
> such rules to an LR parser generator.  For that reason, I would like
> to use a Tomita parser instead, which can deal with such conflicts.
> Again, on the other hand, I don't know how to make a Tomita parser
> incremental, but I guess it is a straightforward (albeit messy)
> extension of the incremental LR algorithm.  
>
> I am sorry that I can't be of much more help here and now.  Parsing is
> still an important issue that is on my back burner (and I have a
> near-finished implementation of a Tomita parser), but I make very slow
> progress.

Thank you for your answer. I'll experiment with defining rules the way
you sketched in your message with the current LR parser implementation.
Even if it's going nowhere, it's still interesting (to me), and I'll
report progress, if any.

Best regards,
nicolas