Re: an ambiguity in the ixml grammar for ixml grammars

> I have not compared our enumerations; my logic is that each of the three
> substrings 'a.a.a.a' can be parsed like "a. a.a.a" or like "a.a. a.a" or
> like "a. a.a.a".  Three possibilities for three positions, 3**3 = 27.

I see what you mean. I’ll have to explore that some more.

> But I think not necessarily.
>
>     S=a.a.a=c;a,a.a;a.a.a='a'.c='x'.  
>
> As far as I can tell, there are four parses for this, two of which are
> clean:  no undefined nonterminals, no unreachable nonterminals, no
> unproductive nonterminals, no duplicate definitions.

Well, that would raise the problem to the level of four alarm fire, I
think. 

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh
Saxonica

Received on Saturday, 26 February 2022 18:47:36 UTC