From lojban-out@lojban.org Wed Dec 13 10:38:10 2006 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (qmail 84027 invoked from network); 13 Dec 2006 18:34:57 -0000 Received: from unknown (66.218.67.36) by m29.grp.scd.yahoo.com with QMQP; 13 Dec 2006 18:34:57 -0000 Received: from unknown (HELO chain.digitalkingdom.org) (64.81.66.169) by mta10.grp.scd.yahoo.com with SMTP; 13 Dec 2006 18:34:57 -0000 Received: from lojban-out by chain.digitalkingdom.org with local (Exim 4.63) (envelope-from ) id 1GuYw5-0006Ss-83 for lojban@yahoogroups.com; Wed, 13 Dec 2006 10:34:33 -0800 Received: from chain.digitalkingdom.org ([64.81.66.169]) by chain.digitalkingdom.org with esmtp (Exim 4.63) (envelope-from ) id 1GuYty-0006Qb-Be; Wed, 13 Dec 2006 10:32:29 -0800 Received: with ECARTIS (v1.0.0; list lojban-list); Wed, 13 Dec 2006 10:32:11 -0800 (PST) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.63) (envelope-from ) id 1GuYtQ-0006Q5-KG for lojban-list-real@lojban.org; Wed, 13 Dec 2006 10:31:48 -0800 Received: from an-out-0708.google.com ([209.85.132.242]) by chain.digitalkingdom.org with esmtp (Exim 4.63) (envelope-from ) id 1GuYtI-0006Ps-H1 for lojban-list@lojban.org; Wed, 13 Dec 2006 10:31:48 -0800 Received: by an-out-0708.google.com with SMTP id b8so77188ana for ; Wed, 13 Dec 2006 10:31:36 -0800 (PST) Received: by 10.78.171.13 with SMTP id t13mr852177hue.1166034695016; Wed, 13 Dec 2006 10:31:35 -0800 (PST) Received: by 10.78.136.4 with HTTP; Wed, 13 Dec 2006 10:31:34 -0800 (PST) Message-ID: Date: Wed, 13 Dec 2006 10:31:34 -0800 In-Reply-To: <45802C2C.8010501@phma.optus.nu> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_129844_6504857.1166034694961" References: <45802C2C.8010501@phma.optus.nu> X-Spam-Score: -2.1 (--) X-archive-position: 13357 X-ecartis-version: Ecartis v1.0.0 Errors-to: lojban-list-bounce@lojban.org X-original-sender: ted.reed@gmail.com X-list: lojban-list X-Spam-Score: -2.1 (--) To: lojban@yahoogroups.com X-Originating-IP: 64.81.66.169 X-eGroups-Msg-Info: 1:0:0:0 X-eGroups-From: "Theodore Reed" From: "Theodore Reed" Reply-To: ted.reed@gmail.com Subject: [lojban] Re: formal language X-Yahoo-Group-Post: member; u=116389790; y=I6dH9OWtj7pW7XMsILowiVFudvF3UfFf2G8dtEBy4H5ddXWmTw X-Yahoo-Profile: lojban_out X-Yahoo-Message-Num: 27795 ------=_Part_129844_6504857.1166034694961 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline On 12/13/06, Pierre Abbat wrote: > > What do we call a formal language in Lojban? It's a set of strings made > of letters of some alphabet, often described by a formal grammar. > Although many formal languages are used to express meaning, some, such > as the MIU system, are mere mathematical objects. So if a formal > language is any kind of bangu, it has to be a zilbau. > > Something involving lerfu and ciste? -- Theodore Reed (treed/bancus) www.surreality.us ------=_Part_129844_6504857.1166034694961 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline On 12/13/06, Pierre Abbat <phma@phma.optus.nu> wrote:
What do we call a formal language in Lojban? It's a set of strings made
of letters of some alphabet, often described by a formal grammar.
Although many formal languages are used to express meaning, some, such
as the MIU system, are mere mathematical objects. So if a formal
language is any kind of bangu, it has to be a zilbau.


Something involving lerfu and ciste?
--
Theodore Reed (treed/bancus)
www.surreality.us ------=_Part_129844_6504857.1166034694961--