Received: from localhost ([::1]:49010 helo=stodi.digitalkingdom.org) by stodi.digitalkingdom.org with esmtp (Exim 4.76) (envelope-from ) id 1Tysdp-0003GL-Od; Fri, 25 Jan 2013 15:25:01 -0800 Received: from mail-da0-f42.google.com ([209.85.210.42]:62012) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1Tysdg-0003GF-Er for jbovlaste@lojban.org; Fri, 25 Jan 2013 15:24:59 -0800 Received: by mail-da0-f42.google.com with SMTP id z17so392170dal.1 for ; Fri, 25 Jan 2013 15:24:46 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:x-received:in-reply-to:references:date:message-id :subject:from:to:content-type:content-transfer-encoding; bh=PuAQ3+diJ/iVc4D4OjyhWXxK1vWJ0ZvxHp+7oKKyxkI=; b=xfTIPq/NNlV7PZyseFNjF8ZQVDcow0QBp4pwjJFRGknFJM8fzL9kY2STMgmoYyfdbN fuFw88TE1zB5eyXs/MHBBvtHPQTQG0Tq/DKT1zedtwpagutG5mHcvoESOMu/9IfP8zUH snJ925sNpEbiqdySZ4UZWaKt+bCAaUT2f6vdjNyFfE6v7i5+lZTiRCFJSGPYg95iG0cZ pL3pmOXvsBGcXVEd1SrKiMX2eBbzMnow578H4ng7EMBlmCkOcNpm2kCScEqMaihP8iMd 29T8IJCoV7Qy4LgGGhxjkHGJr8ymgC5nhS0fMow6iP6Y6UmW0sZzhUxyohS3IykCbSQQ RVcw== MIME-Version: 1.0 X-Received: by 10.69.1.9 with SMTP id bc9mr18061615pbd.61.1359156286019; Fri, 25 Jan 2013 15:24:46 -0800 (PST) Received: by 10.66.233.225 with HTTP; Fri, 25 Jan 2013 15:24:45 -0800 (PST) In-Reply-To: <20130125151703.GB20813@mercury.ccil.org> References: <20130124175134.GA14317@mercury.ccil.org> <51017FF7.504@plasmatix.com> <20130124221349.GB20636@mercury.ccil.org> <20130125151703.GB20813@mercury.ccil.org> Date: Fri, 25 Jan 2013 20:24:45 -0300 Message-ID: From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= To: jbovlaste@lojban.org X-Spam-Score: -0.1 (/) X-Spam_score: -0.1 X-Spam_score_int: 0 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 On Fri, Jan 25, 2013 at 1:17 PM, John Cowan wrote: > 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. It seems trivial: If CCVVCy- is at the beginning of the string, no initial cmavo form can drop as a cmavo, so there's no chance of tosmabru type issues. There's also no chance of slinku'i type issues because CVVCy, VVCy, VCy, Cy are not valid rafsi. If it's not at the beginning of the string, no initial segment of CCVVCy- could be part of another rafsi for the same reason that no slinku'i is possible That's the proof. What am I missing? >> > 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. PEGs are unambiguous by construction, they don't need to be proved unambiguous, since they can't fail to be unambiguous. Whatever issues you may have with the PEG grammar for Lojban (and I can think of some) they cannot be about potential ambiguities, it can't have any. >> 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. Not really. It's obvious to me that Lojban's morphology is unambiguous, but that doesn't mean that any old (purported) proof of its unambiguity is valid. I happily accept Nora's proof was probably valid though. It's also equally obvious that CCVVCy- rafsi or the extended 'y- rafsi don't cause ambiguity. BTW, the PEG grammar doesn't single out CCVVCy- rafsi. It accepts all final-vowel-dropping fu'ivla rafsi that don't cause ambiguities. CCVVCy- is just one particular instance of those. mu'o mi'e xorxes _______________________________________________ jbovlaste mailing list jbovlaste@lojban.org http://mail.lojban.org/mailman/listinfo/jbovlaste