From nobody@digitalkingdom.org Sun Feb 08 18:13:53 2009 Received: with ECARTIS (v1.0.0; list lojban-list); Sun, 08 Feb 2009 18:13:53 -0800 (PST) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.69) (envelope-from ) id 1LWLei-0000VQ-TD for lojban-list-real@lojban.org; Sun, 08 Feb 2009 18:13:53 -0800 Received: from mail-gx0-f19.google.com ([209.85.217.19]) by chain.digitalkingdom.org with esmtp (Exim 4.69) (envelope-from ) id 1LWLeg-0000Uj-B3 for lojban-list@lojban.org; Sun, 08 Feb 2009 18:13:52 -0800 Received: by gxk12 with SMTP id 12so1670321gxk.10 for ; Sun, 08 Feb 2009 18:13:43 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :date:message-id:subject:from:to:content-type :content-transfer-encoding; bh=TYAiRtdMONJu/xRdd5jq2ffW1thVn/e+hVfeXD3S66Y=; b=jPQSth2aw9Bz9XzfC6GDlBAZHRAEtVX17Wh4lTWPu9T9EluDFW6JqiNCd/utCsh+sO fNHl5KzvX2pB381yLJ1D0uiwp82zQPPN1r98WBGXLSHUVR+tSZI9Yje/p0heB8pySdlM ctdxb+C0rs/zRI+fzAkgE6PyHtIb7Y9oIL/kY= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type:content-transfer-encoding; b=BlxweN0PmG/ziF9FLdQh6qTb8IXPWa2b5HDwl2OXZlzGtofciyLqf9evHSgl6zY0rq Ybki6fyyvm4pvBhP3Szbh4H/3fdf1L/3Wp0rKyUbl5qd+M7LHzArNZm4+y3xSiVHaNlv PGQDtDBXWJfsbitPndEFolcyvAmQrJSioI680= MIME-Version: 1.0 Received: by 10.150.178.9 with SMTP id a9mr2033403ybf.52.1234145623396; Sun, 08 Feb 2009 18:13:43 -0800 (PST) In-Reply-To: <737b61f30902081336g2818a979sf6a6db307e512c75@mail.gmail.com> References: <737b61f30902081336g2818a979sf6a6db307e512c75@mail.gmail.com> Date: Sun, 8 Feb 2009 20:13:43 -0600 Message-ID: <737b61f30902081813r166893e0kbb93917b5e0ae1e0@mail.gmail.com> Subject: [lojban] Re: CFG prize challenge question From: Chris Capel To: lojban-list@lojban.org Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Spam-Score: -0.0 X-Spam-Score-Int: 0 X-Spam-Bar: / X-archive-position: 15265 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: pdf23ds@gmail.com Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list On Sun, Feb 8, 2009 at 15:36, Chris Capel wrote: > Not done yet! > > canAppend(p, pID): > Let lastEl be the last element of the list p. > If lastEl is a start token, canAppend is true. > Let p_1 be p without its last element. > If lastEl is a terminator of the form , canAppend is true iff: > - pID is a member of mapPhPh(tid) > - and either el is false or canAppend(p_1, pID) is true. This should really be - either el is false, or - pID is a member of mapPhPh(tid) and canAppend(p_1, pID) is true. Chris Capel -- "What is it like to be a bat? What is it like to bat a bee? What is it like to be a bee being batted? What is it like to be a batted bee?" -- The Mind's I (Hofstadter, Dennet) To unsubscribe from this list, send mail to lojban-list-request@lojban.org with the subject unsubscribe, or go to http://www.lojban.org/lsg2/, or if you're really stuck, send mail to secretary@lojban.org for help.