From lojban-out@lojban.org Thu Jan 23 17:23:01 2003 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_2_3_0); 24 Jan 2003 01:23:01 -0000 Received: (qmail 33050 invoked from network); 24 Jan 2003 01:23:01 -0000 Received: from unknown (66.218.66.217) by m15.grp.scd.yahoo.com with QMQP; 24 Jan 2003 01:23:01 -0000 Received: from unknown (HELO digitalkingdom.org) (204.152.186.175) by mta2.grp.scd.yahoo.com with SMTP; 24 Jan 2003 01:23:01 -0000 Received: from lojban-out by digitalkingdom.org with local (Exim 4.05) id 18bsYf-0003gi-00 for lojban@yahoogroups.com; Thu, 23 Jan 2003 17:23:01 -0800 Received: from digitalkingdom.org ([204.152.186.175] helo=chain) by digitalkingdom.org with esmtp (Exim 4.05) id 18bsYZ-0003gP-00; Thu, 23 Jan 2003 17:22:55 -0800 Received: with ECARTIS (v1.0.0; list lojban-list); Thu, 23 Jan 2003 17:22:53 -0800 (PST) Received: from rlpowell by digitalkingdom.org with local (Exim 4.05) id 18bsYS-0003gE-00 for lojban-list@lojban.org; Thu, 23 Jan 2003 17:22:48 -0800 Date: Thu, 23 Jan 2003 17:22:48 -0800 To: lojban-list@lojban.org Subject: [lojban] Re: valfendi algorithm Message-ID: <20030124012248.GG7230@digitalkingdom.org> Mail-Followup-To: lojban-list@lojban.org References: <200301222303.45852.phma@webjockey.net> <20030123201332.GA7230@digitalkingdom.org> <200301231832.18683.phma@webjockey.net> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <200301231832.18683.phma@webjockey.net> User-Agent: Mutt/1.5.3i X-archive-position: 3875 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: rlpowell@digitalkingdom.org Precedence: bulk X-list: lojban-list X-eGroups-From: Robin Lee Powell From: Robin Lee Powell Reply-To: rlpowell@digitalkingdom.org X-Yahoo-Group-Post: member; u=116389790 X-Yahoo-Profile: lojban_out On Thu, Jan 23, 2003 at 06:32:18PM -0500, Pierre Abbat wrote: > On Thursday 23 January 2003 15:13, Robin Lee Powell wrote: > > Hoo-boy. > > > > What, exactly, do the proofs demonstrate? > > Hopefully, that all well-formed Lojban words can be lexed correctly by > the algorithm, regardless of what Lojban words precede and follow > them, as long as the syllables are stressed correctly and pauses are > inserted where required. Seems to me that you'd need agreement on the algorithm before constructing the proof. > > I hereby offer to attempt to debug any reasonably rigorous proof you > > come up with. > > Lemma: All brivla contain a consonant followed two letters later, > ignoring apostrophes, by a vowel. If a brivla contains 'y', it > contains such a consonant after the 'y'. > > Proof: If a brivla contains no 'y', it contains two adjacent > consonants in the first five letters, ignoring apostrophes. Find the > first vowel after this consonant cluster. Two letters before it is a > consonant. If a brivla contains 'y', there is at least one rafsi after > 'y'. Consider the last rafsi. Either it is a CVV or CCV rafsi of a > gismu, in which case the first and last letters of the rafsi are the > consonant and the vowel two letters later, or it is the final long > rafsi of a gismu or fu'ivla, in which case, being identical to the > selrafsi, it has such a consonant by the first part. Granted. > Theorem: If two lerpoi R and S which both lack 'y' are such that for > all i R[i:i+1] That's the string of lerpoi in R from index i to index i+1, yes? > is a valid initial consonant pair, valid consonant pair, valid lujvo > diphthong, fa'u Seems like .a would work there just fine. > valid fu'ivla diphthong iff S[i:i+1], I'm sorry, it stopped making sense for me there. iff what about S[i:i+1]? > and R[i] is a vowel, consonant, > fa'u y'ybu iff S[i] is, then R is a valid brivla iff S is, regardless > of whether for some i R[i] is 'n', 'r', or 'l' and S[i] isn't. > > The proof of this was discussed on the list, and I think it's right, > but haven't written it down as a proof yet. All right. > Please send me any test data you can think of. This should be Lojban > or not-quite-Lojban text with words run together and stress indicated, I don't personally feel up to the challenge of constructing things that will trip *you* up. -Robin -- http://www.digitalkingdom.org/~rlpowell/ *** I'm a *male* Robin. .i le pamoi velru'e zo'u crepu le plibu taxfu .i le remoi velru'e zo'u mo .i le cimoi velru'e zo'u ba'e prali .uisai http://www.lojban.org/ *** to sa'a cu'u lei pibyta'u cridrnoma toi