[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[lojban] Re: Where is the latest/official PEG grammar?



Gleki Arxokuna <gleki.is.my.name@gmail.com> writes:

>> > Transformation doesn't necessarily imply equivalence. 
>>
>> No, but it would render the PEG in a form which could be *compared* to 
>> the YACC.  If you cut-out the morphology rules,
>
>
> You need to cut out much more. Compare how many lines the BNF grammar has. 
> One can learn it by heart. Now compare to camxes grammars. 

Did you read what I wrote?  I'm not talking about MEMORIZING the
grammar.  I'm proposing comparison of the formal grammar rules (however
many thousands of lines they may be) derived from the YACC and PEG,
respectively, to see if they parse equivalent languages.  That would
prove the equivalence of the PEG to the YACC.

> Because PEG formalism doesn't allow checking for ambiguities. E.g. PEG is 
> unambiguous even if you add to it rules and subrules that would never 
> match. 
>
> But seriously PEG/CFG are not powerful enough even by BPFK standards (see 
> BPFK pages in the wiki)

None of what you have writen here makes any sense to me.  What do you
mean?

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/lojban/867dyikkxw.fsf%40cmarib.ramside.