From lojban+bncCLr6ktCfBBCl8Y7oBBoEb-Q3cQ@googlegroups.com Sat Dec 11 09:45:30 2010 Received: from mail-yw0-f61.google.com ([209.85.213.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PRTVa-0006OT-47; Sat, 11 Dec 2010 09:45:30 -0800 Received: by ywh1 with SMTP id 1sf3960389ywh.16 for ; Sat, 11 Dec 2010 09:45:14 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:received:x-beenthere:received:received:received :received:received-spf:received:received:received:date:from:to :subject:message-id:mail-followup-to:references:mime-version :in-reply-to:x-original-sender:x-original-authentication-results :reply-to:precedence:mailing-list:list-id:list-post:list-help :list-archive:sender:list-subscribe:list-unsubscribe:content-type :content-disposition; bh=nWhfBbWsa8wwexikFK33hf5q0f2KfRRvKt1Am4gL87o=; b=hJhVskB1q6OCdp8afq4yeHs9EWri+0DDTNQhu5++DhCmjx/w8gO5rq0jfTqeoylP/Y kZSd+w+nesD+2XkT77k/AnWInisbUV1pBZsS7Vky1gPym0r0EwePezBIzG1C0SBwLOD5 88VLUCHH3yQvAbh0OyAK71xSZyOSE7AzbrzBg= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:date:from:to:subject:message-id :mail-followup-to:references:mime-version:in-reply-to :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe:content-type :content-disposition; b=qUJsRtuURX56tcwoCKBAyfhk4FvLEptM+fYcAjAN1H1JjBnwgomncrvQK7uSrDUKmI aYLmHvL6SOW/2s+7721MWiD2ZCxEGoEBM6EVrd3Ehz3YHC6mcRL1lwcw/I/aqF0y1JvO BjbU64Gu4iNDfvCzZXMg3HEIvIm9ATtBz5+W8= Received: by 10.146.84.13 with SMTP id h13mr130489yab.13.1292089509668; Sat, 11 Dec 2010 09:45:09 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.150.6.2 with SMTP id 2ls2751195ybf.7.p; Sat, 11 Dec 2010 09:45:08 -0800 (PST) Received: by 10.236.109.147 with SMTP id s19mr345972yhg.15.1292089508887; Sat, 11 Dec 2010 09:45:08 -0800 (PST) Received: by 10.236.109.147 with SMTP id s19mr345970yhg.15.1292089508862; Sat, 11 Dec 2010 09:45:08 -0800 (PST) Received: from mail-gx0-f171.google.com (mail-gx0-f171.google.com [209.85.161.171]) by gmr-mx.google.com with ESMTP id u37si606895yba.10.2010.12.11.09.45.08; Sat, 11 Dec 2010 09:45:08 -0800 (PST) Received-SPF: neutral (google.com: 209.85.161.171 is neither permitted nor denied by best guess record for domain of alanpost@sunflowerriver.org) client-ip=209.85.161.171; Received: by gxk8 with SMTP id 8so2753229gxk.16 for ; Sat, 11 Dec 2010 09:45:08 -0800 (PST) Received: by 10.150.195.12 with SMTP id s12mr3498273ybf.8.1292089507947; Sat, 11 Dec 2010 09:45:07 -0800 (PST) Received: from sunflowerriver.org (c-68-35-167-179.hsd1.nm.comcast.net [68.35.167.179]) by mx.google.com with ESMTPS id f4sm2277378ybi.11.2010.12.11.09.45.06 (version=TLSv1/SSLv3 cipher=RC4-MD5); Sat, 11 Dec 2010 09:45:07 -0800 (PST) Date: Sat, 11 Dec 2010 10:45:03 -0700 From: ".alyn.post." To: lojban@googlegroups.com Subject: Re: [lojban] Lojban CFG Questions Message-ID: <20101211174503.GG18570@alice.local> Mail-Followup-To: lojban@googlegroups.com References: <201012101024.39320.roman_naumann@fastmail.fm> <4D03599A.1090403@lojban.org> <20101211163218.GR27025@digitalkingdom.org> <20101211164405.GA18570@alice.local> <20101211165142.GS27025@digitalkingdom.org> <20101211170449.GB18570@alice.local> <20101211170937.GT27025@digitalkingdom.org> Mime-Version: 1.0 In-Reply-To: <20101211170937.GT27025@digitalkingdom.org> X-Original-Sender: alyn.post@lodockikumazvati.org X-Original-Authentication-Results: gmr-mx.google.com; spf=neutral (google.com: 209.85.161.171 is neither permitted nor denied by best guess record for domain of alanpost@sunflowerriver.org) smtp.mail=alanpost@sunflowerriver.org Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 Content-Disposition: inline On Sat, Dec 11, 2010 at 09:09:38AM -0800, Robin Lee Powell wrote: > Hence "CFG" in the subject line. :D > > PEGs and CFGs are not equivalent. No-one's really sure where PEGs > lie on the formal grammar stack. > http://en.wikipedia.org/wiki/Formal_grammar#The_Chomsky_hierarchy > And by inference, given that PEG has no trouble with Lojban's terminators and we don't know whether CFG does, that means no one is sure where Lojban's grammar lies on the formal grammar stack. That sounds like a problem worth $500. :-D -Alan -- .i ko djuno fi le do sevzi -- You received this message because you are subscribed to the Google Groups "lojban" group. To post to this group, send email to lojban@googlegroups.com. To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com. For more options, visit this group at http://groups.google.com/group/lojban?hl=en.