Return-Path: Received: from SEGATE.SUNET.SE by xiron.pc.helsinki.fi with smtp (Linux Smail3.1.28.1 #1) id m0tMf1O-0000ZUC; Mon, 4 Dec 95 19:49 EET Message-Id: Received: from listmail.sunet.se by SEGATE.SUNET.SE (LSMTP for OpenVMS v1.0a) with SMTP id BF1A342F ; Mon, 4 Dec 1995 18:49:46 +0100 Date: Mon, 4 Dec 1995 10:13:48 -0500 Reply-To: John Cowan Sender: Lojban list From: John Cowan Subject: Re: LR(k) Lojban Grammar X-To: Lojban List To: Veijo Vilva In-Reply-To: <199512012218.RAA07090@locke.ccil.org> from "Carl D. Burke" at Dec 1, 95 04:08:24 pm Content-Length: 819 Lines: 18 karl. brk. cusku di'e > This assumes that lojban has an LR(k) grammar... I can't find the > reference right now, but the last I remember was that the grammar > was not actually completely context-free -- there were some shift-reduce > conflicts that YACC resolved using precedence of rules/productions. > If S-R or R-R conflicts exist, the language is not LR(1), regardless > of whether or not YACC can parse it; syntactic ambiguity exists, > it's just hidden by the mechanics of the parser. Lojban has 0 s/r, 0 r/r conflicts. The report that it had conflicts was due to a buggy YACC; six other YACCs of differing ancestries (Bison, several AT&T-based, Berkeley, Abraxas PCYACC) all reported no conflicts. -- John Cowan cowan@ccil.org e'osai ko sarji la lojban.