CoffeeFilter Test Report

Report generated on 06 Aug 2023 at 21:03 with CoffeeFilter version 3.2.1 (using CoffeeGrinder version 3.2.1) from a test suite dated 21 Jun 2022 (20 Jun 2023).

Description

Top-level catalog for tests in the iXML Community Group Test Suite.

Tests have been contributed from several sources, but the core of the test collection are the tests contributed by Steven Pemberton in December 2021.

Misc tests 2

28 Jun 2022

Description

Grammars 21-40.

Test grammars compiled manually in 2018 and 2019, re-packaged in 2022.

Added test cases where needed and moved to ixml test collection, June 2022.

sample.grammar.24

Created 08 Feb 2022 by cmsmcq

Description

Another grammar with infinite ambiguity. This one illustrates the difficulty of trying to provide at least one parse for each possible looping path through the tree.

Consider a RHS that generates an infinite set of strings. By the pumping lemma for regular languages, we know that for every sentence longer than some language-dependent length (number of states in the FSA, if I remember correctly), the sentence takes the form uvw, where v can occur zero or more times, so u + v^n + w.

It would be nice to illustrate the set of possible paths, just because. That is, for each set of paths through the RHS of the form u + v^n + w, provide paths for n=0 (u + w) and n=1 (u + v + w).

I don't see a convenient way to do this at the moment, so I currently plan to extend the notion of original NTs to regular languages (or see what H/U call this kind of thing) and return only original parses. But it would be interesting to see if one could exercise each loop in this FSA.

Table of contents