From jay.kominek@colorado.edu Sat Jul 14 10:16:22 2001 Return-Path: X-Sender: kominek@ucsub.colorado.edu X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-7_2_0); 14 Jul 2001 17:16:22 -0000 Received: (qmail 41208 invoked from network); 14 Jul 2001 17:16:20 -0000 Received: from unknown (10.1.10.26) by m8.onelist.org with QMQP; 14 Jul 2001 17:16:20 -0000 Received: from unknown (HELO ucsub.colorado.edu) (128.138.129.12) by mta1 with SMTP; 14 Jul 2001 17:16:20 -0000 Received: from ucsub.colorado.edu (kominek@ucsub.colorado.edu [128.138.129.12]) by ucsub.colorado.edu (8.11.2/8.11.2/ITS-5.0/student) with ESMTP id f6EHGJd06400 for ; Sat, 14 Jul 2001 11:16:19 -0600 (MDT) Date: Sat, 14 Jul 2001 11:16:19 -0600 (MDT) To: Subject: Re: [lojban] the formal grammars' utility In-Reply-To: Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII From: Jay Kominek On Sat, 14 Jul 2001, And Rosta wrote: > 1. What use is the EBNF grammar, given that it can't be used instead of > YACC? It is quite a bit more human readable. I believe there are some parser generators in existance which can digest various forms of BNF, too. > 2. Is there a downloadable version of YACC ordered alphabetically (or > in any way such that one knows whereabouts in the rule list to find the > expansion for a given node)? It would be easy enough to whip up some Perl to alphabetize the productions, but I fail to see the utility of that. Nearly ever text viewer in existance provides searching functionality, simply search for, say, the string 'sumti' at the beginning of a line. > 3. Has anybody created a more succinct but unabbreviated (and, ideally, > more intuitive) version of the YACC grammar? That seems to be the point of the EBNF grammar. The YACC grammar is for machines. YACC's syntax was not meant to be intuitive, since YACC is meant for making compilers, quite possibly one of the most arcane tasks one can participate in. Condensing the YACC grammar may not be possible without violating LALR(1). Whoever constructed it ought to know. - Jay Kominek