[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[lojban] Re: Where is the latest/official PEG grammar?
- To: lojban@googlegroups.com
- Subject: [lojban] Re: Where is the latest/official PEG grammar?
- From: scope845hlang343jbo@icebubble.org
- Date: Tue, 14 Apr 2020 17:59:23 +0000
- Arc-authentication-results: i=2; gmr-mx.google.com; spf=pass (google.com: domain of scope845hlang343jbo@icebubble.org designates 2607:f2f8:a1d8::b19:0:f0b as permitted sender) smtp.mailfrom=scope845hlang343jbo@icebubble.org
- Arc-authentication-results: i=1; gmr-mx.google.com; spf=pass (google.com: domain of scope845hlang343jbo@icebubble.org designates 2607:f2f8:a1d8::b19:0:f0b as permitted sender) smtp.mailfrom=scope845hlang343jbo@icebubble.org
- Arc-message-signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:reply-to:mime-version:message-id :in-reply-to:date:references:subject:to:from:sender:dkim-signature; bh=d4CzCZXg116XulwqHtZ8TSVEnQmBC8yNxvuwMjQSEys=; b=qzVzyosgZ40YZ25izS2PuqZUDrN8QKumMytQ7s0WXeOVSNXlDMti5bBAWIE4zWnQsp urD0OpJJgdhI3wZ+ECLl6eNlpDCcM+Nf+/hkT/i6LnXC5aYU1puCjY2RPjHsaWxUtZAH fEwDLfEeIFeXoChe7xxCDC0TZV53wmUOTc0ikttRCutVWQTEHUE6XnQN1A5vziwPd0AT uX7/haQfQsq9GL06aek6pIZCEJOXhVXVqiEar/dcMEC9O69YmgIHAOz6DlIBBCw0euDZ hIeKewjiqwZwT1m1RXgzPZTAjKC4LmsRHSuch+x4uXCXxrfsIadRRhkJf4IS8JHP1GNB 1YIQ==
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:message-id:in-reply-to:date:references:subject:to:from; bh=TyyIHyWckndyjac9LDKG43DKpVYuGFs9hQatwxShTz0=; b=jM3HITgDqrk55GzaenFZMEtkxXnC+WXOx4VIVn484g6gXXJkBa9yJTSnQmiM2Cu3NZ peH0QmLCYrYkpkGSDntedHpxaS+GFDEgFSJOKrVXqT0JmNPlSsENr3k+bZct5fis4gB/ v5JTMhMD80ZxTqj5ztP3QgMARN4ZHvxdHGkTLdPq8ZRCi6WutsSb7cdWTYPiM9p6UBMS 849zeiqDsJRiLheyPQY9F5GgSQqRGJIebuh+jmJlraHjks+Fn6/SH1d33TyQTy5lLpWU rRJm6opuvDUzJyqDrfRmAqpW5apRfrvx7F8jTK0EJkeId4D+PsYQyuAmdqgqVqksgyAF 8Akw==
- Arc-seal: i=2; a=rsa-sha256; t=1587138063; cv=pass; d=google.com; s=arc-20160816; b=qNtRy2luxPR3UGWNuX487rSGe1Te0taH8GDCAQSUgFAMtkk+25AF4XXsaPk6v8eKJv WpRW0KTwRNjdP7wobqgGQcC02/yl5nXTJ8MmEdxmhmbDqdaqSNiLIVVrh3SO9DrHdlsz oDhTAke2fq4ngqg43b3SdRwq9zLJIxXYxOoCI8daATB9SsQmMadOMAnn2C2un/Lmzbj9 Mcdfhmn4EYYjuC3OOFxh+CIIc1NraNuf5hEg2Au5C81zfUE2x2lewSpXoR3s5SP6w2SG OzykMaw+HvBFhz8nGlh1NJVh3gVpco+7XzWT+WjAL0ovuFDaJsxBEX6SXm4mvF/ZLXp1 XwMw==
- Arc-seal: i=1; a=rsa-sha256; t=1587138063; cv=none; d=google.com; s=arc-20160816; b=OCIEi6Ozm3BvTT+ZTQ4aS5nxxQJk8iMtfGXmBj8NHe0Z1kh/UaR56+aOfUSMIDFd4Z znfOPL8zeGNGzGkwC4W9QFFu2ZzWMqf+abI88FfJ0AWdas3P3oT2jZKpC/QdIZxZvqvD Et2O9DUvOlkp4wgSHAdKJkvCMLW+kY+kJaJJwzyM5l4k9fxgKG8QYEeYqjBkI3NdBJSa xjRQBSjpwzyulY+aE7mYnEFTxyQnKIl6PkAj/2XKbkbXCGO0FQpUSWCEQSVP+ErR4Qcm WGsA7LAq3A6SdNU5lp9nWPw6r+hxLo2uH/wuSvYzxTLS5qNrREDjgSobJbCdzSd9aAqg j0qg==
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:from:to:subject:references:date:in-reply-to:message-id :mime-version:x-original-sender:x-original-authentication-results :reply-to:precedence:mailing-list:list-id:list-post:list-help :list-archive:list-subscribe:list-unsubscribe; bh=d4CzCZXg116XulwqHtZ8TSVEnQmBC8yNxvuwMjQSEys=; b=Ot2474TKERaB9aHaYYtBiSFLftDJBTdKFc6xwKyhn1I85PdP6hTrL5x8PBjPUadqHd hELt5wE3Mpq4lYYN229Vq12HO5lGqNt7ux3CaoQVPRAk1MuB3ydai1+uxN/OTttilfBa kEifddMZBw8eDdEfTUFtYh7yHwncDGwlWbVK51byAaorjPSsyP5o/3a8oWkMgA4NFy5a LWqnw1F8NRiw0nqAeIQEORAkM1XEOmqMc7xne7dzHQa2pH1KOCd/x7oNcmF9UeQEzwJl roBqtJqcqDgG8dSUKcvrP2Bx7skE4DX2ySpTDI438LgiSIRLp0oi3X5cDExRAT/kLj+v ONBQ==
- In-reply-to: <331e6b40-73bc-4597-bccd-2e7b1028cba7@googlegroups.com> (Gleki Arxokuna's message of "Tue, 14 Apr 2020 08:57:50 -0700 (PDT)")
- List-archive: <https://groups.google.com/group/lojba>
- List-help: <https://groups.google.com/support/>, <mailto:lojban+help@googlegroups.com>
- List-id: <lojban.googlegroups.com>
- List-post: <https://groups.google.com/group/lojban/post>, <mailto:lojban@googlegroups.com>
- List-subscribe: <https://groups.google.com/group/lojban/subscribe>, <mailto:lojban+subscribe@googlegroups.com>
- List-unsubscribe: <mailto:googlegroups-manage+1004133512417+unsubscribe@googlegroups.com>, <https://groups.google.com/group/lojban/subscribe>
- Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
- 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>
- Reply-to: lojban@googlegroups.com
- Sender: lojban@googlegroups.com
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.