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 VAA07758 for ; Fri, 8 Dec 1995 21:38:00 +0200 Message-Id: <199512081938.VAA07758@xiron.pc.helsinki.fi> Received: from listmail.sunet.se by SEGATE.SUNET.SE (LSMTP for OpenVMS v1.0a) with SMTP id 8703FEEE ; Fri, 8 Dec 1995 20:38:00 +0100 Date: Fri, 8 Dec 1995 14:37:00 LCL Reply-To: BARRETO%VELAHF@ECCSA.TR.UNISYS.COM Sender: Lojban list From: Paulo Barreto Subject: Re: LR(k) X-To: lojban%cuvmb.cc.columbia.edu@TRSVR.BITNET To: Veijo Vilva Content-Length: 700 Lines: 15 la lojbab. cusku di'e >I think the argument goes like this. There are constructs starting wit >numbers that cannot be resolved until you know the token following the >last digit of the number (e.g. number+ROI vs. number+MOI), and hence >resolving such a grammatical construct, starting from the beginning of >the number, takes an infinite look ahead. This is a grammar problem, not a language one. Knuth's theorem states that *all* deterministic context-free languages have an LR(1) grammar. co'o mi'e paulos. Paulo S. L. M. Barreto -- Software Analyst -- Unisys Brazil Standard disclaimer applies ("I do not speak for Unisys", etc.) e'osai ko sarji la lojban.