From nobody@digitalkingdom.org Wed Dec 13 10:32:10 2006 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) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:references; b=LL6tc8FW02/AfAMuG9SSreG+5krY8pZ0fzDtL9moKe0J3IR4M8+WS1bftbOSWcMEwnJOpdIHUFh0WdWOp+8l52HW2fwIFXX9Z/gVLYEPbGNv+SRL/axb3h35oLeikcgXjsxKG8RE63E1cAabu3WT6SV/c7Eq8eJMAcualHKraB0= 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 From: "Theodore Reed" To: lojban-list@lojban.org Subject: [lojban] Re: formal language 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 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: ted.reed@gmail.com Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list ------=_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-- 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.