[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[lojban] Re: CFG prize challenge question
- To: lojban-list@lojban.org
- Subject: [lojban] Re: CFG prize challenge question
- From: Chris Capel <pdf23ds@gmail.com>
- Date: Sun, 8 Feb 2009 20:13:43 -0600
- 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=
- In-reply-to: <737b61f30902081336g2818a979sf6a6db307e512c75@mail.gmail.com>
- References: <737b61f30902081336g2818a979sf6a6db307e512c75@mail.gmail.com>
- Reply-to: lojban-list@lojban.org
- Sender: lojban-list-bounce@lojban.org
On Sun, Feb 8, 2009 at 15:36, Chris Capel <pdf23ds@gmail.com> 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 <Trm tid el>, 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.