Re: [bpfk] "bridi_tail = ... bridi_tail" is wrong imo

[Jorge Llambías <jjllambias@gmail.com>]

On Thu, Apr 9, 2015 at 9:50 AM, Gleki Arxokuna <gleki.is.my.name@gmail.com> wrote:

Currently all PEGs have something like this:

bridi_tail = bridi_tail_1 (gihek KE_clause free* bridi_tail KEhE_elidible free* tail_terms)?

I think this is wrong. In

{klama gi'e citka} both {klama} and {citka} should be equal however here we see that {klama} is bridi_tail_1 whereas {citka} starts with bridi_tail.

That's in order to get right grouping. 

I think it should be something like

bridi_tail = bridi_tail_1 (gihek KE_clause bridi_tail_1)* KEhE_elidible tail_terms*

The usual interpretation is that repeating items group left (because there is another way to get right-grouping, but no way to get left-grouping with PEG).

There are much more such racial prejudice against certain rules in PEG.

But what is your opinion on this one in particular?

It's all about grouping. Compare for example with bridi_tail_1, which is left-grouping. If you disallow the A = B A trick and replace it with A = B+, then you have to indicate grouping in some other way, since there's no way of knowing whether "B B B" should be "B (B B)" or "(B B) B".

mu'o mi'e xorxes

-- 
You received this message because you are subscribed to the Google Groups "BPFK" group.
To unsubscribe from this group and stop receiving emails from it, send an email to bpfk-list+unsubscribe@googlegroups.com.
To post to this group, send email to bpfk-list@googlegroups.com.
Visit this group at http://groups.google.com/group/bpfk-list.
For more options, visit https://groups.google.com/d/optout.