[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: Mon, 13 Apr 2020 15:43:22 +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=l/S74ULmP0u9wV3dxUbCrux+t7sVW8FNQ6+2IzK7Dxo=; b=p3KoGyQtSaXr6m//pQHjhJLE8Fy6duw9AOQKAJwgsefEX1QF4g05EyuOa540s0MraO 6wrSveIzuiUNxJlP0YspWnhGa78xR3+QnRjyUYC7OibUDfjkl1KxOefcwzlJjRi0wklE 5s++bm4QRQ9K2MXYJ9DqY+FyCELyuJgjHT/sXZKxkQhTOdOUT7olxJbmKYQ4LXrYBXyl M3A8MnHxyAnxdd20G9g3AskOrkOmRgQcgBF7WSmK8O7fhpQ268CaCAjWuSfBlOlduce4 DE/hFJVYQx1bJpDy/erlFscxFOElve/RQqxBU/TOhsfRZ9avKuktq3v/ArKzpt8KVqM1 souQ==
- 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=Fa49Do81vb2DX2cpvz/NO5aueSDr1kVXNVnd+HkrDZ0=; b=n9oj7MKVxfZL+oVEgwhtMuC3vs+Gfm7VfPRRl3v0xmUU+c2x7dh1Sv544UApYIRc6Z qu2VkTOW9hjUK83R0dsE9XQzZ/GkUBD1omLDvPumZrs4L/zFW3FKEHPTFfj9iz9Uamut TbhAjFeyMGIxd9HIIXK06cIP7dv9Rt4XUgBh8m/Eo4rwUsEOB8TIuxxAovQONFD6RbgZ tZUcCLDmZtDyYVUGVFhR0jvgBHHP0k2lBc8s4KQ9qxyXHdVlAjeYBt3hrDt0pEuafnXe +eST5deEUnJtaMtFthDRFoProShvzts6gIvZpknFcuOzw73QxKTDJs7jvKnlDjJOMuHD 7KLg==
- Arc-seal: i=2; a=rsa-sha256; t=1586878486; cv=pass; d=google.com; s=arc-20160816; b=VD3fG2KllF0W+5NIDM+VUyJN+yUYbf0/bvupXY9zk3yUNa9oqdYu1p/kzYwvbWH3zv lJmf5UlSaW9nhvIyVQP4pOlsljuDx9x8Ecmg2IoBli1lLC5hVzEM3MuELy5apEnDZfj4 Gc9/nVRz/VZZZTK+8mzIzRxeZQdYOEFbdUm/89y+wwmALfVCZTxYMM6h8VsueryDdYMS AF233rj28oVgurgH8yVShfN2nqKJ7UZt3GqZzEFGdGUI/NHFTNjCoG+48xHUILEphcva D/fOOySxya3XodL4F0AdoB+/9scVF40jP9+57J7JN60KOfq1jNmSW9J3XU4hLBzwzP7k //MA==
- Arc-seal: i=1; a=rsa-sha256; t=1586878485; cv=none; d=google.com; s=arc-20160816; b=IB6piYcyR2pxdgvcyY4bZDXGLgLN/WUCjofs2Hb/cXO9Cn/Mt+qvLgxtCUvcB0ISmi x+7AzRtpg+uiwjWmuzEXAO5Z3R2Vp4Q6PxQkBR+0E+PM3MdfEb9CYTp1Ohu5TTilWlNd 0gxL5s8HLLm4cp/gJwVloY8600kOHknb7DLnYgoPo/Epm4GXb1lHGoSJywfGUuxc/Fpq It42OWkS52/fY4qbUZ9IPbBwVf2TKW7nt6jQ6M5HQ4uk0ug+wJCf+mi633XMWt18CzZT o/8uYHPfxyJHj0jEM+xUwrsxNCy1gO7TSi6eBPaIayktqw1c2A0y1URQEYZxs508PIke o4Ew==
- 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=l/S74ULmP0u9wV3dxUbCrux+t7sVW8FNQ6+2IzK7Dxo=; b=mtkNomxxBxwioEIaMQM1a1pwE0KqGggB2n2XWYgojtw71Reo2qxgpb1FCZcgIRPcNU QmecIuJPvLsFZo6E51ujRMjDNx4K2A/VseCzkNQsgi3/2llfLWIfNFFte67Ac1vOySyT guv0xvCkLobcLCIa5uM4QOdUTpsWwXJqgb/UlJgj+powMLAnu6ONNIYeyI06WrJdcZPg lhr8Ug7Y2XicOIZAhJedVtbjzVbiElzm4ex5iCluL2kkil1NuWszHWIljt0fQal8Jlsa DTeLiNZWDnx+sBwu/wpwI6E0MvlTZtyBFGOShis+QeH8ZP/IsQwbNP/dVQHkCum+j8pL 1nSQ==
- In-reply-to: <33fb11ad-6aa7-47be-adc5-049d9f6670a9@googlegroups.com> (Gleki Arxokuna's message of "Sat, 11 Apr 2020 07:35:55 -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>
- Reply-to: lojban@googlegroups.com
- Sender: lojban@googlegroups.com
Gleki Arxokuna <gleki.is.my.name@gmail.com> writes:
> PEG has its own deficiencies.
What deficiencies?
> True. PEG won't put us forward significantly.
Why wouldn't it? Having a complete specification of the language seems
like it would be a HUGE step forward, to me. From PEG, it would be but
a short distance to having a working, fully-correct parser.
>> Maybe that's what we're waiting for? A proof that the PEG grammar is
>> backward-compatible with the YACC?
>
>
> Its not backward compatible by definition.
It would have to be. Otherwise, currently (and historically)
grammatical Lojban wouldn't be grammatical under the new (PEG
specification of the) grammar. Am I wrong?
>> IfIf so, the second half of Bryan
>> Ford's thesis paper on PEGs describes how to transform parsing
>> expressions into other forms which could be compared with the YACC.
>
>
> 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, and allow for changes
for handling elidable terminators and metalinguistic erasers, the
remainder (the bulk) of the grammar should be formally equivalent to the
current YACC grammar.300. That would prove that the YACC and PEG parse
essentially the same language. Given such a proof, is there any reason
why such a PEG would NOT be accepted as the new baseline grammar?
--
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/86o8rvbdd1.fsf%40cmarib.ramside.