Received: from localhost ([::1]:47047 helo=stodi.digitalkingdom.org) by stodi.digitalkingdom.org with esmtp (Exim 4.76) (envelope-from ) id 1Tyl1p-0000vQ-Ru; Fri, 25 Jan 2013 07:17:17 -0800 Received: from earth.ccil.org ([192.190.237.11]:35939) by stodi.digitalkingdom.org with esmtps (TLSv1:AES256-SHA:256) (Exim 4.76) (envelope-from ) id 1Tyl1d-0000vK-Q6 for jbovlaste@lojban.org; Fri, 25 Jan 2013 07:17:10 -0800 Received: from cowan by earth.ccil.org with local (Exim 4.72) (envelope-from ) id 1Tyl1b-00024V-OW for jbovlaste@lojban.org; Fri, 25 Jan 2013 10:17:03 -0500 Date: Fri, 25 Jan 2013 10:17:03 -0500 From: John Cowan To: jbovlaste@lojban.org Message-ID: <20130125151703.GB20813@mercury.ccil.org> References: <20130124175134.GA14317@mercury.ccil.org> <51017FF7.504@plasmatix.com> <20130124221349.GB20636@mercury.ccil.org> MIME-Version: 1.0 Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.20 (2009-06-14) X-Spam-Score: -0.4 (/) X-Spam_score: -0.4 X-Spam_score_int: -3 X-Spam_bar: / Subject: Re: [jbovlaste] berbere, berberi X-BeenThere: jbovlaste@lojban.org X-Mailman-Version: 2.1.14 Precedence: list Reply-To: jbovlaste@lojban.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Errors-To: jbovlaste-bounces@lojban.org Jorge Llamb=EDas scripsit: > Surely that can't have been the reason. How did you prove that > decompositions with CCVCy- rafsi were unambiguous, and why wouldn't > the same method of proof work for CCVVCy-? The proof seems just as easy. Our proof engine was Nora, who reduced the existing morphology to a set of cases. Looking at them, we were reasonably sure the CCVVCy set didn't break the proof, but Nora didn't have time to check it. Those cases weren't published anywhere I know of, and are either lost or buried in Bob's paper archive, which amounts to the same thing. If you want to produce and publish such a proof, I'm sure Lojbanists everywhere would be happy to have it. > > Note that a PEG grammar, unlike a YACC grammar, does not prove this, > > because PEG grammars silently override ambiguities using the rule > > "first =3D best". That isn't good enough for Lojban morphology, > > so I consider the CLL proposal a dead letter. > = > The YACC grammar doesn't handle morphology at all, so I fail to see > how this has anything to do with the issue. I was speaking generally. YACC grammars can provide a proof of unambiguity in certain circumstances. PEG grammars cannot: they are not in that business. > If the PEG morphology isn't good enough for Lojban, then Lojban doesn't > have a formal morphology at all, because the PEG is the only one we > have so far. The fact that the morphology hasn't changed means that the old proof is still valid, even though we no longer have access to it. That's an unfortunate state of affairs, but it's where we are. -- = John Cowan http://www.ccil.org/~cowan "Any legal document draws most of its meaning from context. A telegram that says 'SELL HUNDRED THOUSAND SHARES IBM SHORT' (only 190 bits in 5-bit Baudot code plus appropriate headers) is as good a legal document as any, even sans digital signature." --me _______________________________________________ jbovlaste mailing list jbovlaste@lojban.org http://mail.lojban.org/mailman/listinfo/jbovlaste