From lojban-out@lojban.org Wed Dec 13 08:42:49 2006 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (qmail 24787 invoked from network); 13 Dec 2006 16:42:49 -0000 Received: from unknown (66.218.66.172) by m36.grp.scd.yahoo.com with QMQP; 13 Dec 2006 16:42:49 -0000 Received: from unknown (HELO chain.digitalkingdom.org) (64.81.66.169) by mta4.grp.scd.yahoo.com with SMTP; 13 Dec 2006 16:42:49 -0000 Received: from lojban-out by chain.digitalkingdom.org with local (Exim 4.63) (envelope-from ) id 1GuX8W-0002pH-MR for lojban@yahoogroups.com; Wed, 13 Dec 2006 08:39:16 -0800 Received: from chain.digitalkingdom.org ([64.81.66.169]) by chain.digitalkingdom.org with esmtp (Exim 4.63) (envelope-from ) id 1GuX7u-0002no-2U; Wed, 13 Dec 2006 08:38:43 -0800 Received: with ECARTIS (v1.0.0; list lojban-list); Wed, 13 Dec 2006 08:38:29 -0800 (PST) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.63) (envelope-from ) id 1GuX7Q-0002mx-37 for lojban-list-real@lojban.org; Wed, 13 Dec 2006 08:38:08 -0800 Received: from phma.optus.nu ([166.82.175.165] helo=ixazon.dynip.com) by chain.digitalkingdom.org with esmtp (Exim 4.63) (envelope-from ) id 1GuX7G-0002mF-1D for lojban-list@lojban.org; Wed, 13 Dec 2006 08:38:07 -0800 Received: from [192.168.7.3] (unknown [192.168.7.3]) by ixazon.dynip.com (Postfix) with ESMTP id 7B4CCCE770 for ; Wed, 13 Dec 2006 11:37:45 -0500 (EST) Message-ID: <45802C2C.8010501@phma.optus.nu> Date: Wed, 13 Dec 2006 11:37:00 -0500 User-Agent: Mozilla Thunderbird 1.0.5 (Windows/20050711) X-Accept-Language: en-us, en MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Spam-Score: -2.3 (--) X-archive-position: 13353 X-ecartis-version: Ecartis v1.0.0 Errors-to: lojban-list-bounce@lojban.org X-original-sender: phma@phma.optus.nu X-list: lojban-list X-Spam-Score: -2.2 (--) To: lojban@yahoogroups.com X-Originating-IP: 64.81.66.169 X-eGroups-Msg-Info: 1:0:0:0 X-eGroups-From: Pierre Abbat From: Pierre Abbat Reply-To: phma@phma.optus.nu Subject: [lojban] formal language X-Yahoo-Group-Post: member; u=116389790; y=Tw6mIa4LMyVH-6hGmhImRj2pS4H3fyi1f9QMhbqCDFEkDxJZUw X-Yahoo-Profile: lojban_out X-Yahoo-Message-Num: 27792 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. phma To unsubscribe from this list, send mail to lojban-list-request@lojban.org with the subject unsubscribe, or go to http://www.lojban.org/lsg2/, or if you're really stuck, send mail to secretary@lojban.org for help.