From lojban+bncCNSZ3eHoCBDy4PvwBBoE3rICvw@googlegroups.com Thu Jul 14 06:34:55 2011 Received: from mail-qy0-f189.google.com ([209.85.216.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1QhM45-0007nF-6R; Thu, 14 Jul 2011 06:34:55 -0700 Received: by qyk31 with SMTP id 31sf325694qyk.16 for ; Thu, 14 Jul 2011 06:34:47 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:subject:references:from:x-mailer :in-reply-to:message-id:date:to:mime-version:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:x-google-group-id:list-post:list-help:list-archive:sender :list-subscribe:list-unsubscribe:content-type; bh=R6w64puPwQKCmXbuLwqqudp5Ealif+8tiOjyBzGWC2E=; b=3XxlJcTWiLPbh5o15JTb00q3x1L7TtrAJU3f30bnzELvaMgkrBGAMb2SNyanMZA31o /l75BYGZS7/zQzTOB8jTacM3oFdv//ESLdfGjD9K3n2c1QtvdBvpX0dRvOC7/ScI44/A ZqE1j8uaj/yeqDwU6eIGb12rvEMY2qI58ogP4= Received: by 10.229.94.198 with SMTP id a6mr276692qcn.11.1310650482369; Thu, 14 Jul 2011 06:34:42 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.224.21.25 with SMTP id h25ls527281qab.5.gmail; Thu, 14 Jul 2011 06:34:41 -0700 (PDT) Received: by 10.224.194.65 with SMTP id dx1mr2923682qab.13.1310650129241; Thu, 14 Jul 2011 06:28:49 -0700 (PDT) Received: by 10.224.194.65 with SMTP id dx1mr2923681qab.13.1310650129233; Thu, 14 Jul 2011 06:28:49 -0700 (PDT) Received: from mail-qw0-f51.google.com (mail-qw0-f51.google.com [209.85.216.51]) by gmr-mx.google.com with ESMTPS id z32si216110qcd.1.2011.07.14.06.28.49 (version=TLSv1/SSLv3 cipher=OTHER); Thu, 14 Jul 2011 06:28:49 -0700 (PDT) Received-SPF: pass (google.com: domain of frankdmartinez@gmail.com designates 209.85.216.51 as permitted sender) client-ip=209.85.216.51; Received: by qwf7 with SMTP id 7so122354qwf.38 for ; Thu, 14 Jul 2011 06:28:49 -0700 (PDT) Received: by 10.229.226.68 with SMTP id iv4mr1721610qcb.79.1310650129050; Thu, 14 Jul 2011 06:28:49 -0700 (PDT) Received: from [192.168.1.101] (c-98-225-184-223.hsd1.pa.comcast.net [98.225.184.223]) by mx.google.com with ESMTPS id b6sm131275qcb.23.2011.07.14.06.28.47 (version=TLSv1/SSLv3 cipher=OTHER); Thu, 14 Jul 2011 06:28:47 -0700 (PDT) Subject: Re: [lojban] PEG question References: <20110714050543.GQ18524@digitalkingdom.org> From: "Frank D. Martinez" X-Mailer: iPad Mail (8J3) In-Reply-To: <20110714050543.GQ18524@digitalkingdom.org> Message-Id: Date: Thu, 14 Jul 2011 09:29:43 -0400 To: "lojban@googlegroups.com" Mime-Version: 1.0 (iPad Mail 8J3) X-Original-Sender: frankdmartinez@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of frankdmartinez@gmail.com designates 209.85.216.51 as permitted sender) smtp.mail=frankdmartinez@gmail.com; dkim=pass (test mode) header.i=@gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 Ah, yes. My bad. This is what I get for trying to read so late at night. *blush* ki'e Sent from my iPad On Jul 14, 2011, at 1:05, Robin Lee Powell wrote: > On Wed, Jul 13, 2011 at 11:51:50PM -0400, Frank wrote: >> coi rodo >> I am looking at the PEG and I see some definitions involve the '!' >> operator. For example, >> >> BAhE-post <- si-clause? !ZEI-clause !BU-clause >> >> The PEG does not specify the meaning of '!' as far as I can observe. > > What do you mean by that? Our documentation doesn't, but that's > because it's a basic part of the PEG design; > > http://en.wikipedia.org/wiki/Parsing_expression_grammar > > http://pdos.csail.mit.edu/~baford/packrat/ ( specifically, > > http://pdos.csail.mit.edu/~baford/packrat/popl04/ ) > > -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. > -- 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.