Return-Path: LOJBAN%CUVMB.BITNET@vms.dc.LSOFT.COM Received: from SEGATE.SUNET.SE (segate.sunet.se [192.36.125.6]) by xiron.pc.helsinki.fi (8.6.12/8.6.9) with ESMTP id RAA21528 for ; Tue, 12 Dec 1995 17:26:58 +0200 Message-Id: <199512121526.RAA21528@xiron.pc.helsinki.fi> Received: from listmail.sunet.se by SEGATE.SUNET.SE (LSMTP for OpenVMS v1.0a) with SMTP id 17113BCC ; Tue, 12 Dec 1995 16:26:44 +0100 Date: Tue, 12 Dec 1995 10:37:07 -0500 Reply-To: John Cowan Sender: Lojban list From: John Cowan Subject: Re: LR(k) X-To: Lojban List To: Veijo Vilva In-Reply-To: <199512082149.QAA07311@locke.ccil.org> from "Paulo Barreto" at Dec 8, 95 02:37:00 pm Content-Length: 606 Lines: 14 la paulos. cusku di'e > This is a grammar problem, not a language one. Knuth's theorem states > that *all* deterministic context-free languages have an LR(1) grammar. I'm not familiar with the theorem. Surely not all languages are LALR(1), though, which is what standard Yaccs implement. I looked into using an LR(2) parser at one time, but it only ran on OS/2, which I no longer run, and is proprietary. (It was downward compatible with Yacc, but called a routine yylex2() when necessary.) -- John Cowan cowan@ccil.org e'osai ko sarji la lojban.