[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:41:21 -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=1MbI5lMB5YH8jkEfLh+QTGTtHB/X/cNMIlLW0DaZhos=; b=wQf3dtfs4EcVFGqjnlaZl3QGWOb2zdcTs6NMKyr/0hA3WxxJ5RPC09s9uHAZkDQ49w /PzY51+Wt8/ivrHGl1dTgNFh9Bi70pbg336ad2OTTP9OgJmjyWPjI7Szc8voHeqHcJKa R1N9jBr9FcOpkDlzDZ5OHKUyudMQ1QlckRyGnqP1UJazcwhGjbxn/VAiflEyTc45UrQ3 RbCkXyH5b1r2XeCJRI4JKqzFi27fxp+sNoqTDicldwEMajIgyE0wftfcrKlRA0FBjHYC fcemJOgffEVzuqpoTRAt8c65tCKQcIAH9RodcDa9VoWHSg6OZ2TVrkNXUvJ62FIVLscZ AHRw==
- 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=VJpPQ9CVyk9VEUFFHTmNcYUToSldw4gjNeyafKr3qnA=; b=A8QSfyiT2UUijQ/zd4Ha8CIVANvLP1YnTTBpX/6MtjeX/f+5bgBYxBWPMnBIpVO7K2 BmxjFkmvuXQ9kwmpWE11rjciLlYTmNF0BiqOBeqbCwJBVhxtK5Cu6FvnBOwYYgHMy2Ll 0FHCZaeiX/SlByYZbqpKhJhoKm6f3g6njqojWSt2RMlckn/fRoHCSZqqrLAqVE9PQ5NC yoDxpXV35WAC5k1VX3K6b9Lxu8OSvpg93Cc3PMC0kIjyjixrm+6MgfEHO8/qzvsQHZBh Rartp7DeiAN3zVECkFPXu51YarIsS3q4GEQ4VDkIsbRwko/bcuGbTZPumomUiQwB2NiJ mm6g==
- Arc-seal: i=2; a=rsa-sha256; t=1596559294; cv=pass; d=google.com; s=arc-20160816; b=F6CiM2kaJmoye/Ks0JeY/zcA1TaYm7DjQbjBSCZjvgGDTJK5UxAm6BlssbJ+DZZDPr cDB9NXXA+2F12IDJ/55LC+a4aBET0dw5JoUOi+kUU4ZyNzOWyZjm958T6csZEXhBGIqw aB1bCNeFmo0tA9FqfNwsTT9QqB5F9f+qIqCeoFwqCYNzNdBHvRTPq9F6FEtrtPY9v4AR NXRG1LKAt9Hi/zQe6TKO0qSPAx6JjhubQOC1uCjI/KptKHGHEkimkng+SUR0enuEdr2/ GrY7SitqgBFfWS9y9oDUIrstxjbxcD+YqtLa+bSFH4sMdGkDecBEFqqecyo0UUsQk1k6 Xurg==
- Arc-seal: i=1; a=rsa-sha256; t=1596559293; cv=none; d=google.com; s=arc-20160816; b=CLjn8hpdLFqdXpGfwQ05leqRtChQefGPE+BfnHBHH0otQm9W1K6U8k1jF8+Tp/qZAL 7FvH3VYp7WN/wKGtJGBmGRiR/XVdW0HbbIb/CLqr2+p19SIiItZX4VTUf6bFj1m4sR4T T2wsAL5qYgmLZQUIIvbvSsO9JrDtHSDzA0KXA7m353iQCSmBjzhxbGUG1KZbu5amvflN sR6LwikQJZ5JbDtahPao6fo8l/vDvLwxjq+TaukoNj/RbHvK7C2SUODPG2ZpLVLwUILy Nk1fFVyUSfL5wVcUnO8kRpkKyg+zW+4jMkxg34oB+Sd4Cv0oGQ2eBMsUeTzFjg3hdvvW hpog==
- 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=1MbI5lMB5YH8jkEfLh+QTGTtHB/X/cNMIlLW0DaZhos=; b=q9uIcaFtHijhLcwqTUzE5NtO9MqKlAeMFKqtoL3XyKbVSTZQ6dp61tfsIcLT7iGaAK dCL8O7wOtvyc4iWfphjzEFJkmV9TxJLuiRmzlbmOT0dHMsuIuBRcCajjNqwqUo8uDeIn kLuAhzcIwNwCEoOXoRNvDN+TnGlwsir0ZsceyEEoSCXaDixdC1QshiFB8K55Wx5Z3/3s hZjqsrN6aHaz4HYG2DmDl6gXsiRO0WEyMo2muSlFZtrFF8ZIrIiU0PkR5Uvp6dYnxc+6 VSqXoDQnTDbt4Bc3TADCZp7hgqUSQyHHc5YMTs9M2aFKaZTiLxUoipnadwvxlx0vdGFG icBg==
- 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.
mu'o mi'e la tsani
Nora also noticed that Pierre (phma) has his own effort at a
wordbreaking algorithm, "valfendi" on github. We are not sure where it
fits relative to brkwords put probably was later, though preceding
whatever was incorporated in camxes (one of the attempted post YACC
parsers which IIRC tried to handle speech streams)
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/df6b1b64-74e9-d147-9fcb-5fba3ecf56d9%40lojban.org.