Received: from mail-ie0-f187.google.com ([209.85.223.187]:55957) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1XZXE8-0005cM-06 for lojban-list-archive@lojban.org; Wed, 01 Oct 2014 20:38:52 -0700 Received: by mail-ie0-f187.google.com with SMTP id rd18sf130475iec.14 for ; Wed, 01 Oct 2014 20:38:41 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :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; bh=6+w/j4zaDWqDyfqijqHow0fyH6MPICw9EGYQseJQNHU=; b=GhuMuY3OrH2WIYTHXEIIObIFXyTSf8Hjs1daF8MYzyNlI/hWPDOjn4wFNtbca0nBoy HJHCy0xvzLKOkjUxOqNckLaSyk0LOMKVHIs7f1JDa3LCUpYBNhiI77esoNKFCUwDecH3 ehUEGNcXTPjpnw66FkoHW0LLFxwxJGiYALlUFk5aRdY6RWQlZ6CI92gEMDmfA9+S35gw jMY108jDQyTcWT5XsYusFu4BhWYyqKX+rCpnAlNPkm8DpRgDWKTEwaO3IJVO+XsWoW3e b65BDFD6V7C5KfEaiUx6692wthqCQk+58L3agkJxCdGKSsATlR01gRnYlUGW9K1eJZdL NJtA== X-Received: by 10.140.21.51 with SMTP id 48mr82257qgk.12.1412221121894; Wed, 01 Oct 2014 20:38:41 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.140.86.163 with SMTP id p32ls619229qgd.44.gmail; Wed, 01 Oct 2014 20:38:41 -0700 (PDT) X-Received: by 10.52.186.72 with SMTP id fi8mr49294838vdc.3.1412221121600; Wed, 01 Oct 2014 20:38:41 -0700 (PDT) Received: from mail-qc0-x22e.google.com (mail-qc0-x22e.google.com [2607:f8b0:400d:c01::22e]) by gmr-mx.google.com with ESMTPS id dh5si681382qcb.1.2014.10.01.20.38.41 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Wed, 01 Oct 2014 20:38:41 -0700 (PDT) Received-SPF: pass (google.com: domain of durka42@gmail.com designates 2607:f8b0:400d:c01::22e as permitted sender) client-ip=2607:f8b0:400d:c01::22e; Received: by mail-qc0-f174.google.com with SMTP id m20so1498914qcx.19 for ; Wed, 01 Oct 2014 20:38:41 -0700 (PDT) X-Received: by 10.140.106.36 with SMTP id d33mr2197150qgf.39.1412221121452; Wed, 01 Oct 2014 20:38:41 -0700 (PDT) Received: from [192.168.1.2] (c-69-249-31-89.hsd1.nj.comcast.net. [69.249.31.89]) by mx.google.com with ESMTPSA id 88sm2336250qgx.22.2014.10.01.20.38.39 for (version=TLSv1 cipher=RC4-SHA bits=128/128); Wed, 01 Oct 2014 20:38:40 -0700 (PDT) Date: Wed, 1 Oct 2014 23:38:38 -0400 From: Alex Burka To: lojban@googlegroups.com Message-ID: <3A4FF37D55E14477A597F95B03CB5846@gmail.com> In-Reply-To: References: <20141001075910.GU14210@stodi.digitalkingdom.org> Subject: Re: [lojban] Re: CLL: I'd like to drop the formal grammars. X-Mailer: sparrow 1.6.4 (build 1178) MIME-Version: 1.0 X-Original-Sender: durka42@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of durka42@gmail.com designates 2607:f8b0:400d:c01::22e as permitted sender) smtp.mail=durka42@gmail.com; dkim=pass header.i=@gmail.com; dmarc=pass (p=NONE dis=NONE) header.from=gmail.com 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: multipart/alternative; boundary="542cc8be_4d5c4899_114" X-Spam-Score: -1.9 (-) X-Spam_score: -1.9 X-Spam_score_int: -18 X-Spam_bar: - --542cc8be_4d5c4899_114 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline 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 im= ply that it's pedagogically useful for others to _read_ %^) mu'o mi'e la durka=20 On Wednesday, October 1, 2014 at 11:24 PM, Spacenut wrote: > As a layperson, not knowing anything about the formal grammar, I say we a= bsolutely should keep it in there. Though it may be of no use to me, The Co= mplete Lojban Language is not complete without the full grammar. Also, as a= less technical and more psychological argument, it reinforces the idea tha= t Lojban is 100% syntactically unambiguous to people who don't know anythin= g about the parser. The fact that it can be interpreted (don't know if that= 's the right word there) by a computer is one of the reasons why I'm learni= ng 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 future.= =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 sofybakn= i li'u=20 > --=20 > You received this message because you are subscribed to a topic in the Go= ogle Groups "lojban" group. > To unsubscribe from this topic, visit https://groups.google.com/d/topic/l= ojban/KpcylrlDNX0/unsubscribe. > To unsubscribe from this group and all its topics, send an email to lojba= n+unsubscribe@googlegroups.com (mailto:lojban+unsubscribe@googlegroups.com)= . > To post to this group, send email to lojban@googlegroups.com (mailto:lojb= an@googlegroups.com). > Visit this group at http://groups.google.com/group/lojban. > For more options, visit https://groups.google.com/d/optout. --=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. --542cc8be_4d5c4899_114 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline
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 s= till confirmed as machine-parseable by the inclusion of one and not both gr= ammars. 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 _writ= e_ doesn't necessarily imply that it's pedagogically useful for others to _= read_ %^)

mu'o mi'e la durka
=20

On Wednesday, October 1, 2014 = at 11:24 PM, Spacenut wrote:

As a layperson, not kn= owing 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 i= s not complete without the full grammar. Also, as a less technical and more= psychological argument, it reinforces the idea that Lojban is 100% syntact= ically unambiguous to people who don't know anything about the parser. The = fact that it can be interpreted (don't know if that's the right word there)= by a computer is one of the reasons why I'm learning Lojban, and having ta= ngible evidence of that is pretty powerful.

On Wednesday, October 1,= 2014 3:59:12 AM UTC-4, Robin 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?

-- =20
http://intellige= nce.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 sofybakn= i li'u

--
You received this message because you are subscribed to a topic in the Goog= le Groups "lojban" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/l= ojban/KpcylrlDNX0/unsubscribe.
To unsubscribe from this group and all its topics, send an email to lojban+unsubscribe@googlegr= oups.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 http= s://groups.google.com/d/optout.
=20 =20 =20 =20
=20

=20

--
You received this message because you are subscribed to the Google Groups &= quot;lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban+unsub= scribe@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 http= s://groups.google.com/d/optout.
--542cc8be_4d5c4899_114--