On Mon, Aug 22, 2022 at 07:42:39PM +0200, Martin Honnen scripsit:

On 22.08.2022 19:07, Graydon Saunders wrote:

...

I'm trying to test if some extracted sentences validate as productions of a particular context-free grammar expressed in a BNF dialect.

Is there an available implementation of a parser in XQuery that can do this?

In the context of Invisible XML https://invisiblexml.org/ I have heard that term "Earley" parser a lot but I am not familiar enough with the various implementations to tell whether all are "Earley" parsers, https://github.com/cmsmcq/Aparecium is an XQuery implementation of Invisible XML.

And thus interesting, but alas too slow for the application I have.

I think the various NineML tools by Norman Walsh use an Earley parser and are written in Java, there is an XPath/XQuery/XSLT extension for Saxon, so it should be possible to integrate that in BaseX, perhaps, too.

It would require someone who better understands Java than I don't, as it were. But the command line version of Coffeepot has some potential for the problem I've got.

Thank you!

On Tue, Aug 23, 2022 at 07:04:54AM -0400, Jonathan Robie scripsit:

Are you talking HPSG or something like that?

Had to look that up!

That's much more general than anything I think I need.

What is your input?

A bunch of customary plain-text natural language change descriptions.

The idea is both to validate the descriptions as regular with respect to the expressed customary rules and to maybe eventually generate some from a node-aware diff of two versions of an XML document.

So far, ixml is looking like a reasonable fit.