Sender: lojban@googlegroups.com
Received-SPF: pass (google.com: domain of scope845hlang343jbo@icebubble.org designates 2607:f2f8:a1d8::b19:0:f0b as permitted sender) client-ip=2607:f2f8:a1d8::b19:0:f0b;
From: scope845hlang343jbo@icebubble.org
To: lojban@googlegroups.com
Subject: [lojban] Re: Where is the latest/official PEG grammar?
References: <86zhbyh1om.fsf@cmarib.ramside>
	<54430312-17f8-bbcc-eb95-c6f3aedfc046@gmail.com>
	<868sjeoga3.fsf@cmarib.ramside>
	<d7fc972d-696c-2e77-5e24-af41830645ef@lojban.org>
	<86k12m7ohg.fsf@cmarib.ramside>
	<33fb11ad-6aa7-47be-adc5-049d9f6670a9@googlegroups.com>
	<86o8rvbdd1.fsf@cmarib.ramside>
	<331e6b40-73bc-4597-bccd-2e7b1028cba7@googlegroups.com>
Date: Tue, 14 Apr 2020 17:59:23 +0000
In-Reply-To: <331e6b40-73bc-4597-bccd-2e7b1028cba7@googlegroups.com> (Gleki
	Arxokuna's message of "Tue, 14 Apr 2020 08:57:50 -0700 (PDT)")
Message-ID: <867dyikkxw.fsf@cmarib.ramside>
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
X-Spam_score: -2.7
X-Spam_score_int: -26
X-Spam_bar: --

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.