Received: from mail-wi0-f191.google.com ([209.85.212.191]:38114) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1XZI0l-0004BL-4e for lojban-list-archive@lojban.org; Wed, 01 Oct 2014 04:24:01 -0700 Received: by mail-wi0-f191.google.com with SMTP id hi2sf72161wib.8 for ; Wed, 01 Oct 2014 04:23:52 -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=G5COUIq99aVpO3pr7QyA48Mu4oFl/S3zl/s2IqI4Fqk=; b=ioIRkImS0jWeFbba1+Hse13td5LXmsA75T1iYEDOWQiuUs3LgfrR06ro4boRKpNBAm jfi9/ISOChEUclgjei6s4dHVgY/mZA5Y6xjoocRZuJ6sCbFcoqlDjbOF/HhqjmrrOVVA hXi01fHZUvb/soYvwf4jTK4eATy0Ko4NxAqB5Ko6ppNadiZh+g+USow9/4I6PORedqAW ZK5a48ZYQVSs/cbC3T5nAU/CM/136o0q/5FzkfPbWqqniuiILTmB0eGCv0wQ+uTe1wLP OL0KWNi6QC4ZocJHYZvaqKNFBDUOWoxgl98wo9bQZUUxhJPHkXaPj0x9zlU01i3FwPnI vbqQ== X-Received: by 10.152.29.195 with SMTP id m3mr248280lah.1.1412162632175; Wed, 01 Oct 2014 04:23:52 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.152.206.103 with SMTP id ln7ls140272lac.36.gmail; Wed, 01 Oct 2014 04:23:51 -0700 (PDT) X-Received: by 10.112.89.8 with SMTP id bk8mr8112492lbb.6.1412162631178; Wed, 01 Oct 2014 04:23:51 -0700 (PDT) Received: from dd12116.kasserver.com (dd12116.kasserver.com. [85.13.134.113]) by gmr-mx.google.com with ESMTPS id fa3si127876lbc.0.2014.10.01.04.23.50 for (version=TLSv1.1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Wed, 01 Oct 2014 04:23:51 -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 125C224C0C61 for ; Wed, 1 Oct 2014 13:23:50 +0200 (CEST) Date: Wed, 1 Oct 2014 13:23:49 +0200 From: v4hn To: lojban@googlegroups.com Subject: Re: [lojban] CLL: I'd like to drop the formal grammars. Message-ID: <20141001112349.GA1247@kuebelreiter.informatik.Uni-Osnabrueck.DE> References: <20141001075910.GU14210@stodi.digitalkingdom.org> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="EVF5PPMfhYS0aIcm" Content-Disposition: inline In-Reply-To: <20141001075910.GU14210@stodi.digitalkingdom.org> 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: - --EVF5PPMfhYS0aIcm Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable 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. >=20 > 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 will look at it if I'm interested in a specific parse tree or the grammar itself and I don't have a computer with me (yes, this really does happen, even nowadays, and it's always going to happen for as long as computers are not implanted) I also do hope the YACC grammar will be replaced by a PEG grammar in the next version. 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. v4hn --EVF5PPMfhYS0aIcm Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBAgAGBQJUK+RFAAoJEKCfEUk/PuMmweoP/2hZYupFKUN5NE5qWLTKJSJy TfwDZ/tYbGsxfK2VPxu3Bmv4ubhpDw2bWOOWeqeMlFv/7ZujkyVcnJZlHuOb2Cpb nWEJXjFMu2TVq9WxuY4eMLgX8sm1jDW5IPWbPw4zmVSGg0g+TrCybiiLXhC79t6O 2Sp9Wv/rBxcIIxEfKEanJ9W788IucAjgNVz6iKt+6YdKq0hxqDzOGG0qL+urDGDK WHUdnqZO6yebIaNhvYaE4uzwHpo4JldqoayKT0gmwMkJg2sGERbMWQSj3KcEsftT P2fVkL2dWJSUir6A7efdiKuPG8HCSL1RNrxxfYfLnKYcVoCj4YSeNZAmcE9fxWQv gwL7JMd0MgbsD9o80znGbwi6VD9Knt5n9mm2zmoGYmQdkSXml5Et8TGKH9/YK9sg 6fIwuS0B7jdZ2KUR2qz6KuZZF1HxbB8a/Nowz5uhIhlfVHMU1vr5G1WFxIxABg7j U96EypFlf8rjL+5zfD1krXBvmfPXxCeg4STTUDgUnNh+0IymtRnlUPF/K2WqMh2y s5ASluk1bXl7c5G2icslLZTtzOdp2XcQJrk2vXWYXjSYBAB9Olz5uQ76lY+MQ873 +T0bst2uD2yAVTvQfRh/Ugfz8RSWsIFzG/1DQsJxgC/ZWh7N46G825nGkuL2Rvwm 9t0C3rbBD/DENxhmvPBk =t1Qo -----END PGP SIGNATURE----- --EVF5PPMfhYS0aIcm--