Received: with ECARTIS (v1.0.0; list lojban-beginners); Fri, 04 Dec 2009 09:29:36 -0800 (PST) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.69) (envelope-from ) id 1NGbyF-0007CQ-8p for lojban-beginners-real@lojban.org; Fri, 04 Dec 2009 09:29:35 -0800 Received: from rlpowell by chain.digitalkingdom.org with local (Exim 4.69) (envelope-from ) id 1NGbyB-0007AD-LJ for lojban-beginners@lojban.org; Fri, 04 Dec 2009 09:29:27 -0800 Date: Fri, 4 Dec 2009 09:29:27 -0800 From: Robin Lee Powell To: lojban-beginners@lojban.org Subject: [lojban-beginners] Re: The /.../ operator in the Lojban EBNF grammar Message-ID: <20091204172927.GG28332@digitalkingdom.org> References: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: User-Agent: Mutt/1.5.20 (2009-06-14) X-archive-position: 2607 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-beginners-bounce@lojban.org Errors-to: lojban-beginners-bounce@lojban.org X-original-sender: rlpowell@digitalkingdom.org Precedence: bulk Reply-to: lojban-beginners@lojban.org X-list: lojban-beginners Content-Length: 1338 On Thu, Dec 03, 2009 at 09:59:10PM -0700, Joshua Choi wrote: > I'm perusing the Lojban EBNF grammar. I know little about YACC but > do understand EBNF—at least, standard EBNFs, and I'd like to try > whipping up a Lojban parser in the future. I'm puzzling over the > usage of /.../, which is defined to enclose "an elidable > terminator, which may be omitted (without change of meaning) if no > grammatical ambiguity results." What does that really mean? I > understand what it indicates superficially, but, rigorously, it's > pretty vague. John Cowan knows the proper formal definition; I can never remember. It's something like "An elidable terminator can be remove if doing so does not cause the number of possible productions to increase." > Does it have a consistent syntactic meaning across the grammar, or > is it really case-by-case? It is consisntent. > Can it be converted into a more standard EBNF syntax? If you can figure out how, there's $500 in it for you. http://www.mail-archive.com/lojban-beginners@lojban.org/msg04333.html -Robin -- They say: "The first AIs will be built by the military as weapons." And I'm thinking: "Does it even occur to you to try for something other than the default outcome?" See http://shrunklink.com/cdiz http://www.digitalkingdom.org/~rlpowell/ *** http://www.lojban.org/