From nobody@digitalkingdom.org Wed Jul 05 08:29:35 2006 Received: with ECARTIS (v1.0.0; list lojban-beginners); Wed, 05 Jul 2006 08:29:36 -0700 (PDT) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.62) (envelope-from ) id 1Fy9Jn-0002re-NQ for lojban-beginners-real@lojban.org; Wed, 05 Jul 2006 08:29:35 -0700 Received: from ug-out-1314.google.com ([66.249.92.173]) by chain.digitalkingdom.org with esmtp (Exim 4.62) (envelope-from ) id 1Fy9Jl-0002rW-Nk for lojban-beginners@lojban.org; Wed, 05 Jul 2006 08:29:35 -0700 Received: by ug-out-1314.google.com with SMTP id j40so2126381ugd for ; Wed, 05 Jul 2006 08:29:32 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=gSJtOHhWiIgT3yUChwjg8P/FXqXQmt9uaFs7Xg+mVW+Obz5VtkKVdQtRvHJG/YAMJTvr3Ph+QsBSfHUyMm2OtJGOc4BnkfHSbTBPkJbgRoNAAZzjwDhFIsEVSRS8ZE6Sqq3rabctcCRLbkDH/d4vmoSNI3r5uTKDv+GJ8HNsVTk= Received: by 10.66.220.17 with SMTP id s17mr7930628ugg; Wed, 05 Jul 2006 08:29:32 -0700 (PDT) Received: by 10.67.30.12 with HTTP; Wed, 5 Jul 2006 08:29:32 -0700 (PDT) Message-ID: Date: Wed, 5 Jul 2006 11:29:32 -0400 From: "Jonathan Gibbons" To: lojban-beginners@lojban.org Subject: [lojban-beginners] Re: RK-like diagramming: Anyone interested? In-Reply-To: <925d17560607050813g5c38ea2cke2c128f0faf42f48@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <44AAC810.2070300@hypermetrics.com> <44AADE4C.3080601@hypermetrics.com> <200607042148.25751.phma@phma.optus.nu> <44AB5FB7.2010609@hypermetrics.com> <537d06d00607050755v7b2d995ex8ec5f0199554fbc2@mail.gmail.com> <925d17560607050813g5c38ea2cke2c128f0faf42f48@mail.gmail.com> X-Spam-Score: -2.2 (--) X-archive-position: 3341 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-beginners-bounce@lojban.org Errors-to: lojban-beginners-bounce@lojban.org X-original-sender: jonored@gmail.com Precedence: bulk Reply-to: lojban-beginners@lojban.org X-list: lojban-beginners Okay. The whole thing with elidable terminators really does seem to go away with the rather normal extension of priorities; they establish a total ordering allowing one to answer the question "if either of these rules could match, use this one"... so give all the rules with terminators higher priority than all the ones without, and be done with it? or am I missing something? I mean, yes, that does mean that the language is not parsable with a constant lookahead, but that's an implementation question, and there are other algorithms that can handle non-constant but finite lookahead... -Jonathan.