From lojban+bncCPvx9fDvFBCImY3zBBoEryN2rA@googlegroups.com Sun Sep 04 03:01:56 2011 Received: from mail-gw0-f61.google.com ([74.125.83.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1R09WS-000573-UG; Sun, 04 Sep 2011 03:01:55 -0700 Received: by gwb11 with SMTP id 11sf4396820gwb.16 for ; Sun, 04 Sep 2011 03:01:46 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:mime-version:in-reply-to:references:date :message-id:subject:from:to:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:x-google-group-id:list-post:list-help:list-archive:sender :list-subscribe:list-unsubscribe:content-type; bh=6MPsSeSWPtAoQhnzwR9ewWY/n5ERyFFkdbymbxgVAdo=; b=5C8WOET9W3ODl5rfwZyajynm0j1Nf8AhUnQ8hWItBGpT8OSZfaNLHQEEf/bbc8BXDq IfxLDZi9F/9PlXYOlWITSPWPSmh8sMXqmgwbWYihuc6SOqD0mJxctqCWkWZL1rR7vPgu 6GYeahqmiqALdMYPakHNUuZ/GWmxArabmSXok= Received: by 10.100.200.9 with SMTP id x9mr335536anf.23.1315130504935; Sun, 04 Sep 2011 03:01:44 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.101.189.18 with SMTP id r18ls3148914anp.1.gmail; Sun, 04 Sep 2011 03:01:43 -0700 (PDT) Received: by 10.101.130.20 with SMTP id h20mr2855936ann.7.1315130503914; Sun, 04 Sep 2011 03:01:43 -0700 (PDT) Received: by 10.101.130.20 with SMTP id h20mr2855935ann.7.1315130503896; Sun, 04 Sep 2011 03:01:43 -0700 (PDT) Received: from mail-yi0-f52.google.com (mail-yi0-f52.google.com [209.85.218.52]) by gmr-mx.google.com with ESMTPS id v10si3866020anq.2.2011.09.04.03.01.43 (version=TLSv1/SSLv3 cipher=OTHER); Sun, 04 Sep 2011 03:01:43 -0700 (PDT) Received-SPF: pass (google.com: domain of jimr1603@gmail.com designates 209.85.218.52 as permitted sender) client-ip=209.85.218.52; Received: by yie13 with SMTP id 13so4091805yie.11 for ; Sun, 04 Sep 2011 03:01:43 -0700 (PDT) MIME-Version: 1.0 Received: by 10.147.17.13 with SMTP id u13mr1968641yai.31.1315130503762; Sun, 04 Sep 2011 03:01:43 -0700 (PDT) Received: by 10.146.86.5 with HTTP; Sun, 4 Sep 2011 03:01:43 -0700 (PDT) In-Reply-To: <20110904063938.GN9995@digitalkingdom.org> References: <20110903200414.GM9995@digitalkingdom.org> <7b8b7e41-f4bb-413b-97ae-88f112a32aa0@d3g2000yqo.googlegroups.com> <20110904063938.GN9995@digitalkingdom.org> Date: Sun, 4 Sep 2011 11:01:43 +0100 Message-ID: Subject: Re: [lojban] Re: Regular Language From: james riley To: lojban@googlegroups.com X-Original-Sender: jimr1603@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of jimr1603@gmail.com designates 209.85.218.52 as permitted sender) smtp.mail=jimr1603@gmail.com; dkim=pass (test mode) header.i=@gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 The alternative to a given finite length is not automatically infinite. If the length is given as N, then a N+1 sentence is outside this model. Of course, for practical matters we just make N really big. Like with the computers where the model says they need infinite tape, which obviously can't exist in a finite universe. James/cmacis -- You received this message because you are subscribed to the Google Groups "lojban" group. To post to this group, send email to lojban@googlegroups.com. To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com. For more options, visit this group at http://groups.google.com/group/lojban?hl=en.