From lojbab@lojban.org Sun Sep 02 02:26:59 2001
Return-Path: <lojbab@lojban.org>
X-Sender: lojbab@lojban.org
X-Apparently-To: lojban@yahoogroups.com
Received: (EGP: mail-7_3_2); 2 Sep 2001 09:26:59 -0000
Received: (qmail 53139 invoked from network); 2 Sep 2001 09:26:59 -0000
Received: from unknown (10.1.10.142)
  by l10.egroups.com with QMQP; 2 Sep 2001 09:26:59 -0000
Received: from unknown (HELO stmpy-1.cais.net) (205.252.14.71)
  by mta3 with SMTP; 2 Sep 2001 09:26:58 -0000
Received: from user.lojban.org (224.dynamic.cais.com [207.226.56.224])
  by stmpy-1.cais.net (8.11.1/8.11.1) with ESMTP id f829QvH93698
  for <lojban@yahoogroups.com>; Sun, 2 Sep 2001 05:26:57 -0400 (EDT)
Message-Id: <4.3.2.7.2.20010902051758.00bd0100@pop.cais.com>
X-Sender: vir1036@pop.cais.com
X-Mailer: QUALCOMM Windows Eudora Version 4.3.2
Date: Sun, 02 Sep 2001 05:24:57 -0400
To: lojban@yahoogroups.com
Subject: Re: [lojban] word resolution algorithm
In-Reply-To: <20010831075759.62d00dee.grey.havens@earthling.net>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"; format=flowed
From: "Bob LeChevalier (lojbab)" <lojbab@lojban.org>

At 07:57 AM 8/31/01 +0200, Elrond wrote:
> after a long wait, I finallly decided to lay down the issue. Have 
> a look
>at WordResolutionAlgorithm on the Wiki and please comment. I'd really like
>to learn I am wrong.
>
>regards,
>co'o mi'e rafael

It appears that a key claim on this page is this:

>To this day, the way to distinguish the words in a lojban stream of text 
>is very, very poorly documented (from a computer programmer's point of 
>view). The only rules are given in the refgram, are vague, and were never 
>proven unambiguous.

The rules, so far as I know, were NOT given in the refgram, BECAUSE they 
had not been proven. However they were stated algorithmically for a 
computer programmer's point of view in the file brkwords.txt which is in 
the software area of the lojban.org site. A corresponding Pascal program 
implements the algorithm. The algorithm was tested pretty heavily but we 
could not come up with a scheme for formally proving it.

I don't know anything about the relative virtues of the brkwords algorithm 
and whatever underlies jbofi'e.

lojbab
--
lojbab lojbab@lojban.org
Bob LeChevalier, President, The Logical Language Group, Inc.
2904 Beau Lane, Fairfax VA 22031-1303 USA 703-385-0273
Artificial language Loglan/Lojban: http://www.lojban.org


