Received: from mail-la0-f55.google.com ([209.85.215.55]:53739) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1XZIqU-0006JP-18 for lojban-list-archive@lojban.org; Wed, 01 Oct 2014 05:17:34 -0700 Received: by mail-la0-f55.google.com with SMTP id hz20sf73435lab.0 for ; Wed, 01 Oct 2014 05:17:16 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=date:from:to:subject:message-id:references:mime-version :content-type:content-disposition:in-reply-to:user-agent :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe; bh=7cAVYjq6gipOKI0FP4RseHJtuJXvTSjF4E1eutkQs/E=; b=GFJpCKPzfw5aCgu7mKgpkj5CMsWT6h3RhH65rTSJX2fWf1MYMexl79ROcpif/VTLXq 7t1suqGtAEP7oI2sRWcNHJZoQy0t37koUanLA7lFPodMW+VfN/iUQ1yndm0HqpLbGWZG WVef/pFE59XDgOZLrQc8ez0tVhjJvWguws75So3Iw85Nu5GSXPt7f2JeRJ04Bb+0lcI7 /wUasWNKSLs0ZDVuMRkP1HKY+fUAXVrdcWivtB+VB5uc8AkNDYi/jG/J0DfQdMKczupe aXQgqMyrllRYuBRwP9wrK3pszoMHhF/jIUFY8StE+tyf4/ISdUwi3UZDjKYKrm0ZSOeC LxNA== X-Received: by 10.152.28.66 with SMTP id z2mr976550lag.3.1412165836444; Wed, 01 Oct 2014 05:17:16 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.152.30.40 with SMTP id p8ls132041lah.106.gmail; Wed, 01 Oct 2014 05:17:15 -0700 (PDT) X-Received: by 10.152.2.97 with SMTP id 1mr1837324lat.6.1412165835339; Wed, 01 Oct 2014 05:17:15 -0700 (PDT) Received: from dd12116.kasserver.com (dd12116.kasserver.com. [85.13.134.113]) by gmr-mx.google.com with ESMTPS id us10si122692lbc.1.2014.10.01.05.17.15 for (version=TLSv1.1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Wed, 01 Oct 2014 05:17:15 -0700 (PDT) Received-SPF: none (google.com: me@v4hn.de does not designate permitted sender hosts) client-ip=85.13.134.113; Received: from kuebelreiter (muffin16.informatik.uni-osnabrueck.de [131.173.32.124]) by dd12116.kasserver.com (Postfix) with ESMTPSA id 58D5C24C4C3B for ; Wed, 1 Oct 2014 14:17:14 +0200 (CEST) Date: Wed, 1 Oct 2014 14:17:13 +0200 From: v4hn To: lojban@googlegroups.com Subject: Re: [lojban] CLL: I'd like to drop the formal grammars. Message-ID: <20141001121713.GA10460@kuebelreiter.informatik.Uni-Osnabrueck.DE> References: <20141001075910.GU14210@stodi.digitalkingdom.org> <20141001112349.GA1247@kuebelreiter.informatik.Uni-Osnabrueck.DE> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="DocE+STaALJfprDB" Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.23 (2014-03-12) X-Original-Sender: me@v4hn.de X-Original-Authentication-Results: gmr-mx.google.com; spf=neutral (google.com: me@v4hn.de does not designate permitted sender hosts) smtp.mail=me@v4hn.de Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , X-Spam-Score: -1.9 (-) X-Spam_score: -1.9 X-Spam_score_int: -18 X-Spam_bar: - --DocE+STaALJfprDB Content-Type: text/plain; charset=us-ascii Content-Disposition: inline On Wed, Oct 01, 2014 at 03:48:35PM +0400, Gleki Arxokuna wrote: > 2014-10-01 15:23 GMT+04:00 v4hn : > > On Wed, Oct 01, 2014 at 12:59:10AM -0700, Robin Lee Powell wrote: > > > In the age of ubiquitous internet, I feel that the entire Formal > > > Grammars chapter simply doesn't belong in a printed book. > > > > > > Does anyone disagree? > > > > Yes. Please leave it in. The book is called _C_LL and the formal > > grammar is _definitely_ part of the language. [...] > > > > I also do hope the YACC grammar will be replaced by a PEG grammar > > in the next version. So, I just had another look at the relevant chapter. pe'i It is, indeed, important to keep the formal grammar within the book. However, that does not mean we have to have two representations of the very same thing in there. The EBNF grammar should be enough, so I agree that (by pages) most of the "formal grammars" chapter (i.e. the yacc grammar) could (and probably should) be removed. This would include all the rule numbering in the EBNF grammar that references the yacc rules. > > If people feel really uncomfortable because there is no explanation > > of the syntax of the grammar description, then we should _add_ one > > instead of removing the grammar. > > Exactly, we should add one. Who will do it? > If no one then it's of absolutely no use and should return to the book when > it gets that explanation. Otherwise it's still not Complete. Turns out the EBNF rules are explained and even described as "human readable". So there's no problem here. v4hn --DocE+STaALJfprDB Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBAgAGBQJUK/DJAAoJEKCfEUk/PuMmfn8P/iIGPdQxY0SspMYzQuTbZQTc rXN8yXnXFhql+cp46LJj52OqEc9rdd9OC+nHZPwX7I0pGA8AWAyKwMF10CUujRHF yBFjmgLHTFERwbKM+J9hFrp+Lw/Upd6XdM4J00dWob+9aGrMpFE5hGbr/Ald4IJE 89IrvyF2klkhvBy6Fvpv4Mgd+GfyO812SVEYaky1Y/Slvo19zmCRMThyaYi5i6XS CuSN2R9AecUZzfliDFKxGMIvLSWxB9lUOGxJxpwacOHZFe84Vdxo7smXnbUaTe4i wHNkTLQTtqBIHKS3PBbLc2Zj+Z/LGY0eUjbZbCfLMPcUoHewNboewbUSrrV4KMSv ox/R45iSacNdmHW4YMuNKQZiZhDGxgrIk6D/LjmIFo7wx1Ie/L5ItCffPs4VBnt/ muPq3lOVCcUmXf2xg+8bOAnfSLkhUBB8wLlf2YZuIiApAldQ1J7zC9ZXO9Nq2U7X wxuCxrPFmLwd/SZvO14gNkzuaniMQy4CjELRnJ34fHgmWfQmpnmV6CwuYyRE2nt2 NEp1nb8hmeI5D6owGneJXR5JIiMZiITiWsK2O7cuIWDN7JwKdkeQUx7XsJ3Jjpf+ qXeYOL0Iv52jXmp2MMDe9Y/7Qz4s+g/LQFLpuItsK2ZJJkr281Bdfn2PLagXWuoM kmHdAMwcYYfE2ra3uK0g =AweL -----END PGP SIGNATURE----- --DocE+STaALJfprDB--