Received: from mail-pd0-f191.google.com ([209.85.192.191]:35645) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1XaFGF-0000ST-83 for lojban-list-archive@lojban.org; Fri, 03 Oct 2014 19:40:00 -0700 Received: by mail-pd0-f191.google.com with SMTP id fp1sf76817pdb.18 for ; Fri, 03 Oct 2014 19:39:49 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=date:from:to:subject:message-id:mail-followup-to:references :mime-version: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:content-type:content-disposition :content-transfer-encoding; bh=T1DbVYoUwDxi3yvNAs30ATBE7sDk+LuxWZplf+zo62E=; b=IfzZawyhGlZqjIccRxvPTtIiuPJ+Lp1em5BxPnAzivp/kpKoYkIJyEks6FMSQbYnk3 VCLIZwGHtfUEHTGUnoIBZmqn7koBMtiTE2pPC+d9RJCptKTOb8dvysQRJuqpC+UgvGTS jr8lZfYc/SKPxhR7sSWrpMPMG9sEl2Hmfai5UGMEKimp/o89wzhOKwHwbR8pvOYn8O6Z PEn/GLz2+1wH6R9xNwyyBA0cHzEmg/lbKmoPjcFrLL4KTESc+4+4nlKpMIWfsqNvFrYQ pXMo2AZU309jtuagWfncXLpZudqQHhWDaAhgyNIV1NqKCr1Esyq1JqryfKUAj7a7zJdo yYLg== X-Received: by 10.140.39.39 with SMTP id u36mr235qgu.8.1412390388874; Fri, 03 Oct 2014 19:39:48 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.140.41.179 with SMTP id z48ls1366561qgz.82.gmail; Fri, 03 Oct 2014 19:39:48 -0700 (PDT) X-Received: by 10.236.90.79 with SMTP id d55mr1694762yhf.35.1412390388578; Fri, 03 Oct 2014 19:39:48 -0700 (PDT) Received: from stodi.digitalkingdom.org (mail.digitalkingdom.org. [173.13.139.236]) by gmr-mx.google.com with ESMTPS id wa5si1186280pab.2.2014.10.03.19.39.48 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 03 Oct 2014 19:39:48 -0700 (PDT) Received-SPF: none (google.com: rlpowell@digitalkingdom.org does not designate permitted sender hosts) client-ip=173.13.139.236; Received: from rlpowell by stodi.digitalkingdom.org with local (Exim 4.80.1) (envelope-from ) id 1XaFG7-0000SM-S2 for lojban@googlegroups.com; Fri, 03 Oct 2014 19:39:48 -0700 Date: Fri, 3 Oct 2014 19:39:47 -0700 From: Robin Lee Powell To: lojban@googlegroups.com Subject: Re: [lojban] Re: CLL: I'd like to drop the formal grammars. Message-ID: <20141004023947.GD14210@stodi.digitalkingdom.org> Mail-Followup-To: lojban@googlegroups.com References: <20141001075910.GU14210@stodi.digitalkingdom.org> <3A4FF37D55E14477A597F95B03CB5846@gmail.com> MIME-Version: 1.0 In-Reply-To: <3A4FF37D55E14477A597F95B03CB5846@gmail.com> User-Agent: Mutt/1.5.23 (2014-03-12) X-Original-Sender: rlpowell@digitalkingdom.org X-Original-Authentication-Results: gmr-mx.google.com; spf=neutral (google.com: rlpowell@digitalkingdom.org does not designate permitted sender hosts) smtp.mail=rlpowell@digitalkingdom.org 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: , Content-Type: text/plain; charset=ISO-8859-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable X-Spam-Score: -1.9 (-) X-Spam_score: -1.9 X-Spam_score_int: -18 X-Spam_bar: - Oh, I hadn't thought of dropping only the YACC; that's a very interesting idea. On Wed, Oct 01, 2014 at 11:38:38PM -0400, Alex Burka wrote: > I don't have much of an opinion since I prefer the PEG and > obviously that's not going in this edition, but surely Lojban is > still confirmed as machine-parseable by the inclusion of one and > not both grammars. And I don't mean to deny the usefulness of the > YACC grammar to Bob, but I'll point out that the fact that it was > pedagogically useful to _write_ doesn't necessarily imply that > it's pedagogically useful for others to _read_ %^) >=20 > mu'o mi'e la durka=20 >=20 >=20 > On Wednesday, October 1, 2014 at 11:24 PM, Spacenut wrote: >=20 > > As a layperson, not knowing anything about the formal grammar, I say we= absolutely should keep it in there. Though it may be of no use to me, The = Complete Lojban Language is not complete without the full grammar. Also, as= a less technical and more psychological argument, it reinforces the idea t= hat Lojban is 100% syntactically unambiguous to people who don't know anyth= ing about the parser. The fact that it can be interpreted (don't know if th= at's the right word there) by a computer is one of the reasons why I'm lear= ning Lojban, and having tangible evidence of that is pretty powerful. > >=20 > > On Wednesday, October 1, 2014 3:59:12 AM UTC-4, Robin Powell wrote: > > >=20 > > > In the age of ubiquitous internet, I feel that the entire Formal=20 > > > Grammars chapter simply doesn't belong in a printed book.=20 > > >=20 > > > Does anyone disagree?=20 > > >=20 > > > --=20 > > > http://intelligence.org/ : Our last, best hope for a fantastic futur= e.=20 > > > .i ko na cpedu lo nu stidi vau loi jbopre .i dafsku lu na go'i li'u .= e=20 > > > lu go'i li'u .i ji'a go'i lu na'e go'i li'u .e lu go'i na'i li'u .e= =20 > > > lu no'e go'i li'u .e lu to'e go'i li'u .e lu lo mamta be do cu sofyba= kni li'u=20 > > --=20 > > You received this message because you are subscribed to a topic in the = Google Groups "lojban" group. > > To unsubscribe from this topic, visit https://groups.google.com/d/topic= /lojban/KpcylrlDNX0/unsubscribe. > > To unsubscribe from this group and all its topics, send an email to loj= ban+unsubscribe@googlegroups.com (mailto:lojban+unsubscribe@googlegroups.co= m). > > To post to this group, send email to lojban@googlegroups.com (mailto:lo= jban@googlegroups.com). > > Visit this group at http://groups.google.com/group/lojban. > > For more options, visit https://groups.google.com/d/optout. >=20 > --=20 > 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 post to this group, send email to lojban@googlegroups.com. > Visit this group at http://groups.google.com/group/lojban. > For more options, visit https://groups.google.com/d/optout. --=20 http://intelligence.org/ : Our last, best hope for a fantastic future. .i ko na cpedu lo nu stidi vau loi jbopre .i dafsku lu na go'i li'u .e lu go'i li'u .i ji'a go'i lu na'e go'i li'u .e lu go'i na'i li'u .e lu no'e go'i li'u .e lu to'e go'i li'u .e lu lo mamta be do cu sofybakni li= 'u --=20 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 e= mail to lojban+unsubscribe@googlegroups.com. To post to this group, send email to lojban@googlegroups.com. Visit this group at http://groups.google.com/group/lojban. For more options, visit https://groups.google.com/d/optout.