From nobody@digitalkingdom.org Sun Nov 16 11:20:01 2008 Received: with ECARTIS (v1.0.0; list lojban-list); Sun, 16 Nov 2008 11:20:01 -0800 (PST) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.69) (envelope-from ) id 1L1nA9-0006uT-IY for lojban-list-real@lojban.org; Sun, 16 Nov 2008 11:20:01 -0800 Received: from rv-out-0708.google.com ([209.85.198.248]) by chain.digitalkingdom.org with esmtp (Exim 4.69) (envelope-from ) id 1L1nA5-0006u1-DJ for lojban-list@lojban.org; Sun, 16 Nov 2008 11:20:01 -0800 Received: by rv-out-0708.google.com with SMTP id b17so2348163rvf.46 for ; Sun, 16 Nov 2008 11:19:56 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to :subject:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:references; bh=Gq+ujVNhQpetfTzYfcvGqYGwgJ8dkpayTh+DKNBcers=; b=rqyKS9hkIuWEiuV+WschDTNfQ/W1yO0i4pdGzBGVMgRDh81sQHLNRPIJaBu2mtpaqk p/7fPjbX4Fy/Q1p4KOq7GV4xxcE6f6JZxG90hsXueI7q2jufKdgHlhtSFMlUTViQjqF6 2xZvS6wl0qZCYsAMGNQSm4pYO8IJ3MHQC+Tyo= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references; b=OQR9vSF4zq635ApNl/73c2hEWXORE4+Ld5ci5bDcEIPXIbO2fWYG75VgDhamXcTI/X M1oOmIDo4N1BuydC2k30S123JHgbpdTlhd6lR1Fn4XzVqg2FPUNssZ4xpZrGGK2UlFKY LS1lcoCVk9l6kIAq3And4fhiY8X2cg4J+Ltis= Received: by 10.141.49.18 with SMTP id b18mr1797387rvk.96.1226863196335; Sun, 16 Nov 2008 11:19:56 -0800 (PST) Received: by 10.141.194.15 with HTTP; Sun, 16 Nov 2008 11:19:56 -0800 (PST) Message-ID: <925d17560811161119o64591996u49be5ace5241a11b@mail.gmail.com> Date: Sun, 16 Nov 2008 16:19:56 -0300 From: "=?ISO-8859-1?Q?Jorge_Llamb=EDas?=" To: lojban-list@lojban.org Subject: [lojban] Re: Annotated PEG grammar In-Reply-To: <737b61f30811161107y2816cf2bhce8979277a0af34b@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by Ecartis Content-Disposition: inline References: <737b61f30811151245n352f23dala9685c894d991550@mail.gmail.com> <925d17560811161048l4313ccf8pd3b091e9ddf633b@mail.gmail.com> <737b61f30811161107y2816cf2bhce8979277a0af34b@mail.gmail.com> X-Spam-Score: 0.0 X-Spam-Score-Int: 0 X-Spam-Bar: / X-archive-position: 15037 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: jjllambias@gmail.com Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list On Sun, Nov 16, 2008 at 4:07 PM, Chris Capel wrote: > On Sun, Nov 16, 2008 at 12:48, Jorge Llambías wrote: >> (1) As Stephen points ot, "!jek !joik" duplicates "!joik-jek". > > The only cruft-reducing change so far I've made is to get rid of stag, > which was fairly egregious. If you want to keep a version somewhere > that makes changes you're fairly sure are sound, I'll be glad to > incorporate those into Lojgloss for further verification. And the > guide--I suppose. It's not like I'm currently annotating the > "official" version. Hmm... I don't really want to maintain a version at this point, mainly becaue I have no easy way to test it. But if you are annotating this version, at least you can say that there seems to be no point to this or that, if we can't see what the point is. >> Conclusion: we must get rid of that "!jek !joik !joik-jek", or else >> explain better what it is doing there. > > Sounds good. As for an explanation, I know that Robin tried to modify > the old grammar only minimally in converting it to PEG. Were those in > the old one, and not necessary any longer? No, the EBNF verson does not use "!" at all. (BTW, you should probably explain "!" at the top, that was the most difficult thing for me to understand when I started looking at PEGs.) mu'o mi'e xorxes 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.