[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [lojban] Re: Proof that Lojban morphology is unambiguous
- To: Lojban List <lojban-list@lojban.org>
- Subject: Re: [lojban] Re: Proof that Lojban morphology is unambiguous
- From: Bob LeChevalier <lojbab@lojban.org>
- Date: Tue, 4 Aug 2020 12:57:09 -0400
- Arc-authentication-results: i=2; gmr-mx.google.com; spf=neutral (google.com: 173.13.139.236 is neither permitted nor denied by best guess record for domain of lojbab@lojban.org) smtp.mailfrom=lojbab@lojban.org
- Arc-authentication-results: i=1; gmr-mx.google.com; spf=neutral (google.com: 173.13.139.236 is neither permitted nor denied by best guess record for domain of lojbab@lojban.org) smtp.mailfrom=lojbab@lojban.org
- Arc-message-signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:reply-to:content-language :in-reply-to:mime-version:user-agent:date:message-id:references:to :subject:from:sender:dkim-signature; bh=KnQAVHskWTZxU/xDT3ds6OkvDKfNh6hy3vysglpllG8=; b=NOhVEiYIOxFvjfd5XGIF9wu2xtSUkXSwsqwhwvSl2FQu1AckcXdb5bEfhIu7qQgECT pUzgXvR7oARdii7F46N+GQ4UAU2/MkYJiUJHlWQZy4Ye94JOYvWQCij1KLbIui9JmueO aB/2obz0Dicu3VFx5iIH53+36m4irn6PdatUJZVS2kioAOs7aoCPYfX2uv/Zi419zF5K hdJRzE/byqWHVqx0QitKbok63ae1LBaIzU3oZ8sZAMIz0E2fgePvYW5t+9OBIwW89wub +5f3rC/jrrdBbZR+qagLOD3eh6rCj01F3Lw4VFgvBTGTUFHnhSWKQEybZa4G93FWOCwa 3G5Q==
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:content-language:in-reply-to:mime-version :user-agent:date:message-id:references:to:subject:from; bh=SvTE5CohKDgNa5cZmuvjshMIO9LcBb2U8pGHGcKwpRM=; b=I/PVoZmH+ibL1NdqU6OnZd2P/VmsYUPZLTAGUbo9ASlaFOju70/c9UzBGtAHjNENQr eyHKiF1CCkPdWlrt7nZwnZ6KQSkhjSEq5EF8FxZtZHEize9+u60Xr0MPHkRqbbR03uab /t5G2Tb+04HYOoiR+/Elu7W8yPJX6BmTMTLlEEi+gDp7/Y+DzmVqls7o0HfB+69iHOuD V9DdsBTLr6JvLp4q7Dm6ISAVeVlJV1eLsGgdDClQPWxnnNfbZDcxC3B37tCbrQL6RKws /BlQDCs1/vUBryshxyX88oCDJzvNHhDy4IlrIb+QQ6xhH5YozjZCce6Xs7h62MErYHqB uWIQ==
- Arc-seal: i=2; a=rsa-sha256; t=1596560241; cv=pass; d=google.com; s=arc-20160816; b=WUbUw/LtaCjh7fWTobb0MpWfY416yNLQXOkQ+i/AZx5Kl8+OigtWK2pwprf7M2hmMB QRCXnXT31UbO5mDuOSkeoQ/N9nVGdhqOxY2k38cWLO6YWhWJd/zyFrMkpUewTtT/KJ6V YoN1npVZp0wNeGEUMd4Woc1Lkt2AyIw1pD2/4Lo/t6AlsRGLMv+r8BTxC6Lu0NdHnnFR 4WHwYinsSLr19m9Z35AECb+z0fpda+3uOwtR8ehzYZ3w6DmTBW0JYK/vcP/pGx0otyb9 mjYFj1jFM3r20WwMJtsWqjlDz2TnVC1QUawmn+Pp/Q3X9fomoWkxpY6d24VHByiLuHx3 LuxA==
- Arc-seal: i=1; a=rsa-sha256; t=1596560241; cv=none; d=google.com; s=arc-20160816; b=RvnpOiw/QbCWqmAPpeJMgbaSzUVObA7pb0/v79C0nanao6iC8ktcGpwRxeNjU/p0lW OoEG04Mm46pskcjSI6G4sTiXKomZmpbR3bFqkyOOaE4GWwZoDTYS4Y676QfAjxZcv1gM a6NivUbXR9fI2upeYxdSJrLnBYZ9gqninwYlm6dtN1J62TI9gn+qhD9U0Zkt6H/Yv8bP O52UcTI5jVCtkMtYUAihj1/fua40r5+wR1PJn4ZL2BekGyCHOIl9hkfUILUXLAHOkQv7 ZPP5zYF/tGwg79YzC9uICLHY0BhbZcG7IS3sgkwqq/aUYBKEVnVIAq42mt3l4OcKC7Ez eEsg==
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:from:subject:to:references:message-id:date:user-agent :mime-version:in-reply-to:content-language:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:list-subscribe :list-unsubscribe; bh=KnQAVHskWTZxU/xDT3ds6OkvDKfNh6hy3vysglpllG8=; b=LJL7gyWvtmJ31ul+l7hvln+lGjc6puA+YDwUP1lTFjCHJU4GN+E7S/0dIlxq6QgCH7 QlD7+8j5fry/n0v1Q0jYMtgYpU4+bMHQtN/l7Gm5WE6GKb6f1hwoJ6/TnWGxnL8Dk5Ny aXv5mC090aU4l7SDUiYeMgXYbQc8MJIkVUc9Li0beleCgHxHrGazlY9l7WxgcAcANKT9 EBCbznqbpm7HndntozMT9Tpy8H31rqVd9WmG9YzTxY4EkYe63r1KhdG2NBnZ/4LPEXNq J8GFi9513xekkOzFSqA6S/P2XKsQGEpjwUoh3laMM1Li9YcQKoSugyYov1df0An6ejmt ePmg==
- In-reply-to: <20200803200414.76kso6gwhu2rnlig@renro>
- List-archive: <https://groups.google.com/group/lojba>
- List-help: <https://groups.google.com/support/>, <mailto:lojban+help@googlegroups.com>
- List-id: <lojban.googlegroups.com>
- List-post: <https://groups.google.com/group/lojban/post>, <mailto:lojban@googlegroups.com>
- List-subscribe: <https://groups.google.com/group/lojban/subscribe>, <mailto:lojban+subscribe@googlegroups.com>
- List-unsubscribe: <mailto:googlegroups-manage+1004133512417+unsubscribe@googlegroups.com>, <https://groups.google.com/group/lojban/subscribe>
- Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
- References: <86tuyhcx9s.fsf@cmarib.ramside> <865z9z7dyr.fsf@cmarib.ramside> <20200803200414.76kso6gwhu2rnlig@renro>
- Reply-to: lojban@googlegroups.com
- Sender: lojban@googlegroups.com
- User-agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:68.0) Gecko/20100101 Thunderbird/68.11.0
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.