[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [lojban] Re: Proof that Lojban morphology is unambiguous



On 8/3/2020 4:04 PM, Jacob Thomas Errington wrote:
I don't believe there is a proof out there, but it is by no means
taboo to question whether Lojban actually achieves its stated goals.

To prove that the morphology is unambiguous, one would have to write
an algorithm that accepts an idealized representation of a speech
stream and decomposes it into a sequence of words. The algorithm would
not be able to consult a dictionary to do so.

If you're interested in working on this, I'd be interested in hearing
about it.

Nora reminds me that she wrote such a program as part of our efforts on this. The program was called BRKWORDS and was written in Turbo-Pascal 3. It has some limitations on what it checks (permissible medials I think is one area, and it may not do the slinku'i test properly), but it does not consult a dictionary. It is up on the lojban.org website somewhere (Google on "BRKWORDS" gives several hits with discussion of the topic, and the same with .pas has the source code), or she can supply her files to anyone who wishes to build on it.

lojbab

--
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 email to lojban+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/lojban/00c990f5-d32d-b0d5-e85b-9536da5b1349%40lojban.org.