From lojban+bncCK30vq5WEOOkmugEGgSsGbRx@googlegroups.com Mon Dec 13 13:39:00 2010 Received: from mail-pv0-f189.google.com ([74.125.83.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PSG6f-0001cA-7r; Mon, 13 Dec 2010 13:39:00 -0800 Received: by pvh1 with SMTP id 1sf2100014pvh.16 for ; Mon, 13 Dec 2010 13:38:47 -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:date:from:to:subject:message-id :references:mime-version:in-reply-to:user-agent: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=RI+ffYDlHtxdw8AYxL+wEI4QeN715FQrjqtHIvYXSVM=; b=dpgvKS+jJzSfGEkrMQFfMurHy1wds/IWWW1kOlph9xFm1snU9bSVr1EDxVnPG3x9nR Rwq6lKKwwHgFUwlRSAd5Smk8VWjzLP7CUhzeZaNU5+OfCSbKp1878O77aWFTLGxuGoom wnAw3qrplOKcLSSSETKZERr+XepkgiNE37G4w= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:date:from:to:subject:message-id:references :mime-version:in-reply-to:user-agent: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=S/nAF+wALeu5drV9RT3YJN5LO8JF7rf8BIyV9DmNcEXWyTnkKnJ2zeJ7Y8wSq/JS/N j6hxn7YEaCCMviMFCoTMDZC9I/MVut+VcGzP6agPPJd6YS6i5LaIi9zsCLYCZIPrR871 IRHQGvlyfaeNJK5O4lujapBgp4NWjSmwrx8lM= Received: by 10.142.249.18 with SMTP id w18mr233263wfh.8.1292276323846; Mon, 13 Dec 2010 13:38:43 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.142.224.15 with SMTP id w15ls3951208wfg.3.p; Mon, 13 Dec 2010 13:38:43 -0800 (PST) Received: by 10.142.192.9 with SMTP id p9mr3379558wff.56.1292276323096; Mon, 13 Dec 2010 13:38:43 -0800 (PST) Received: by 10.142.192.9 with SMTP id p9mr3379557wff.56.1292276323070; Mon, 13 Dec 2010 13:38:43 -0800 (PST) Received: from chain.digitalkingdom.org (digitalkingdom.org [173.13.139.234]) by gmr-mx.google.com with ESMTP id f13si7510561wfo.0.2010.12.13.13.38.43; Mon, 13 Dec 2010 13:38:43 -0800 (PST) Received-SPF: pass (google.com: best guess record for domain of rlpowell@digitalkingdom.org designates 173.13.139.234 as permitted sender) client-ip=173.13.139.234; Received: from rlpowell by chain.digitalkingdom.org with local (Exim 4.72) (envelope-from ) id 1PSG6U-0001c4-7H for lojban@googlegroups.com; Mon, 13 Dec 2010 13:38:42 -0800 Date: Mon, 13 Dec 2010 13:38:42 -0800 From: Robin Lee Powell To: lojban@googlegroups.com Subject: Re: [lojban] Lojban CFG Questions Message-ID: <20101213213841.GF7300@digitalkingdom.org> References: <201012101024.39320.roman_naumann@fastmail.fm> <201012132201.22269.roman_naumann@fastmail.fm> <20101213212015.GE7300@digitalkingdom.org> <201012132232.19813.roman_naumann@fastmail.fm> MIME-Version: 1.0 In-Reply-To: <201012132232.19813.roman_naumann@fastmail.fm> User-Agent: Mutt/1.5.20 (2009-06-14) X-Original-Sender: rlpowell@digitalkingdom.org X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: best guess record for domain of rlpowell@digitalkingdom.org designates 173.13.139.234 as permitted sender) smtp.mail=rlpowell@digitalkingdom.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 Mon, Dec 13, 2010 at 10:32:19PM +0100, Roman Naumann wrote: > > Hi Robin, > > On Monday 13 December 2010 22:20:15 Robin Lee Powell wrote: > > Did you see xorxes' example solution elsewhere in this thread? > > i skipped it as i read it grows exponentially with the number of > terminators - but now that you mentioned it, i had a look at it. > (works like i ex-/suspected, looking briefly over it) My solution > does produce overhead too, but it is constant for each terminator, > the grammar thus should grow linearily with each terminators > added. I'm not convinced, though, that the idea scales for more > terminators (with partly distinguishing features), but i'll see > that soon. The hard part is actually situations in which removing a terminator makes it not parse at all, which the toy doesn't have. Example in real Lojban: {nu le klama ku broda}; if you take the "ku" out that breaks because {klama broda} is a tanru, which is higher precendence than inserting the elidablue ku, and with the tanru the nu has no selbri. To tweak the toy language to have this, I think allowing {klama klama} as a tanru with high precedence should be sufficient. -Robin -- http://singinst.org/ : Our last, best hope for a fantastic future. Lojban (http://www.lojban.org/): The language in which "this parrot is dead" is "ti poi spitaki cu morsi", but "this sentence is false" is "na nei". My personal page: http://www.digitalkingdom.org/rlp/ -- 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.