From nobody@digitalkingdom.org Tue Jul 04 19:40:39 2006 Received: with ECARTIS (v1.0.0; list lojban-beginners); Tue, 04 Jul 2006 19:40:39 -0700 (PDT) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.62) (envelope-from ) id 1FxxJf-0003d7-DQ for lojban-beginners-real@lojban.org; Tue, 04 Jul 2006 19:40:39 -0700 Received: from ug-out-1314.google.com ([66.249.92.168]) by chain.digitalkingdom.org with esmtp (Exim 4.62) (envelope-from ) id 1FxxJd-0003cz-MR for lojban-beginners@lojban.org; Tue, 04 Jul 2006 19:40:39 -0700 Received: by ug-out-1314.google.com with SMTP id j40so1900971ugd for ; Tue, 04 Jul 2006 19:40:33 -0700 (PDT) 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:content-transfer-encoding:content-disposition:references; b=P5A+4U5uID5V6m4WboTgAtSwE6StnN8a2Oyl1witszOrKm6r7DBFhSWdty9GhxpzIxiOq0JtA9imY9kut3U3bg6P0gjb1yJd6myjA+kUILj4RojHiIBXGUDBwvqdpwiwWyLKpj461zrJGgLFMX8isCDl5Re2zyChbvYwfgLDhCo= Received: by 10.67.26.7 with SMTP id d7mr7151964ugj; Tue, 04 Jul 2006 19:40:33 -0700 (PDT) Received: by 10.67.30.12 with HTTP; Tue, 4 Jul 2006 19:40:33 -0700 (PDT) Message-ID: Date: Tue, 4 Jul 2006 22:40:33 -0400 From: "Jonathan Gibbons" To: lojban-beginners@lojban.org Subject: [lojban-beginners] Re: RK-like diagramming: Anyone interested? In-Reply-To: <200607042148.25751.phma@phma.optus.nu> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <44AAC810.2070300@hypermetrics.com> <44AADE4C.3080601@hypermetrics.com> <200607042148.25751.phma@phma.optus.nu> X-Spam-Score: -2.1 (--) X-archive-position: 3334 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-beginners-bounce@lojban.org Errors-to: lojban-beginners-bounce@lojban.org X-original-sender: jonored@gmail.com Precedence: bulk Reply-to: lojban-beginners@lojban.org X-list: lojban-beginners > For instance, {lo snomabru ku ce lo cakmabru ku ce lo mantyctimabru} denotes > the set {sloth, armadillo, anteater}, not the set {{sloth, armadillo}, > anteater}, which is what the parse tree implies. Hmm; leads me to wonder if "ce" does that with other sets, or just sets defined using "ce". It's still amenable to recursive definition, it's just a slightly more complex one; "ce" would then be either "the set consisting of the left element and the right element" or "the union of the set defined with ce on the left and the set containing the element on the right." Might try coming up with a graphical representation appealing to myself. It seems to me that it might also be worthwhile to have a similar map of the lojban grammar, as well. Would certainly solidify my knowledge of the nitty-gritty of the language. Does anyone happen to know if the EBNF grammar at http://www.lojban.org/publications/formal-grammars/bnf.300 is complete in the sense that if you replaced all the words in a text with their terminal symbols and used the information in the EBNF grammar, you wouldn't fail on any important structures? (both because I want to know if that'd be an appropriate source to work from in doing such a graphical representation of the grammar, and beause I'd kinda like to see a computer version using Bison's GLR feature, if that's possible, to make a more readable computer form.) -Jonathan