Re: Identification of root rule

> On the other hand, I feel bad for the user; I think notations should
> try to serve users, and not the other way round: usability first.
> Which is why I did my original implementation that way.

I like the simplicity of “the first rule”. I think it’s easier to
explain than explaining that we work backwards to find the start rule.
Also, I don’t think we currently forbid useless rules:

S = 'a', B.
B = 'b'.
C = 'c'.

so it’s possible to have grammars with more than one plausible start
rule.

Having said all that, I’m very sympathetic to the user’s issue.

The first thing that occurs to me is that we could allow a declaration
for the start rule in the prolog.

> Anyway, it's a potential discussion point.

Definitely.

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh
Saxonica

Received on Tuesday, 17 October 2023 13:50:49 UTC