From nobody@digitalkingdom.org Thu Dec 25 17:05:50 2008 Received: with ECARTIS (v1.0.0; list lojban-list); Thu, 25 Dec 2008 17:05:50 -0800 (PST) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.69) (envelope-from ) id 1LG19C-000519-DW for lojban-list-real@lojban.org; Thu, 25 Dec 2008 17:05:50 -0800 Received: from mx.freeshell.org ([192.94.73.19] helo=sdf.lonestar.org ident=root) by chain.digitalkingdom.org with esmtp (Exim 4.69) (envelope-from ) id 1LG19A-00050k-Bb for lojban-list@lojban.org; Thu, 25 Dec 2008 17:05:50 -0800 Received: from sdf.lonestar.org (IDENT:jwodder@sverige.freeshell.org [192.94.73.4]) by sdf.lonestar.org (8.14.2/8.13.8) with ESMTP id mBQ15XXF001671 for ; Fri, 26 Dec 2008 01:05:33 GMT Received: (from jwodder@localhost) by sdf.lonestar.org (8.14.2/8.12.8/Submit) id mBQ15XB4011986 for lojban-list@lojban.org; Fri, 26 Dec 2008 01:05:33 GMT Date: Fri, 26 Dec 2008 01:05:33 +0000 From: Minimiscience To: lojban-list@lojban.org Subject: [lojban] Re: gleki xisri'i Message-ID: <20081226010531.GA7051@sdf.lonestar.org> References: <20081225043944.GA29775@sdf.lonestar.org> <20081225094052.GH10930@digitalkingdom.org> <20081225194149.GA28595@sdf.lonestar.org> <20081225202457.GJ10930@digitalkingdom.org> <20081225220403.GA29347@sdf.lonestar.org> <20081226001241.GK10930@digitalkingdom.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20081226001241.GK10930@digitalkingdom.org> Organization: SDF Public Access UNIX System User-Agent: Mutt/1.5.18 (2008-05-17) X-Spam-Score: 0.0 X-Spam-Score-Int: 0 X-Spam-Bar: / X-archive-position: 15152 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: minimiscience@gmail.com Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list de'i li 25 pi'e 12 pi'e 2008 la'o fy. Robin Lee Powell .fy. cusku zoi skamyxatra. > What part of "working CFG" was unclear? What you produced isn't > one, as far as I can tell. > > What you produced is exactly the same as the current official > parser: a yacc grammar that uses hard-to-port tricks to deal with > elidable terminators. .skamyxatra Good point. However, note that the entire point of the %prec trick is to force Yacc to shift when it detects ambiguity in the rules. If another parser generator can be told in some implementation-defined manner to always shift, you can port the grammar over by stripping out the %precs, reformatting the BNF as necessary, and adding whatever the other parser needs to know to shift. I'm not familiar with any other parser generators, so I don't know how hard this would be. > Regardless, I can't verify any of this myself because I haven't been > able to run it, as I said in another mail. Some help there would be > nice. I'm working on that. If you can tolerate a subpar lexer (i.e., one that accepts invalid {brivla}) for the purposes of testing, I should be able to have a program that shows the grouping of grammatical constructs with my grammar by late tonight. mu'omi'e la'o gy. Minimiscience .gy. -- mi klama .i mi viska .i mi fanva fi la lojban. 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.