From nobody@digitalkingdom.org Sun Feb 08 14:03:45 2009 Received: with ECARTIS (v1.0.0; list lojban-list); Sun, 08 Feb 2009 14:03:45 -0800 (PST) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.69) (envelope-from ) id 1LWHkf-00035K-40 for lojban-list-real@lojban.org; Sun, 08 Feb 2009 14:03:45 -0800 Received: from rv-out-0708.google.com ([209.85.198.249]) by chain.digitalkingdom.org with esmtp (Exim 4.69) (envelope-from ) id 1LWHkc-00035C-Io for lojban-list@lojban.org; Sun, 08 Feb 2009 14:03:45 -0800 Received: by rv-out-0708.google.com with SMTP id b17so1714959rvf.46 for ; Sun, 08 Feb 2009 14:03:41 -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=Y5exmqHVIuBwcWqdjPW1FpPTpvivb1tLC+VgLfD33Mc=; b=YM5QC4bxpIcWoYGCMwdEQcljdgc8NVKiKDk7ioJoyhILR8dfjZWJ8MBc55kSSnPKrH 5lsOUjZW50wCNpb1M33QIHDbSXTzEM9GYTMtI18YFcTL1+wwhqgIHuHrtSmlUa2I1hWa ECGf99EQkMv7GiqskCD1fOrQ9B/92uaNXmfOI= 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=KenCo1Tp9qXoPGjjK7RNcrTFAELi8vQvC3B1NzCWvFmsgJKTHG1H6FjAD87G0aMTP8 2xx0UAYr9AJzxsP0rn6ApwysDzuwDeroBaZCiT0H/qUHTctr29ymWILeBowsPUdkst+B 4vlra2tp/Doums/Nar0X+YuD/7UexcvBSCzEw= MIME-Version: 1.0 Received: by 10.141.194.21 with SMTP id w21mr3251394rvp.259.1234130621126; Sun, 08 Feb 2009 14:03:41 -0800 (PST) In-Reply-To: <737b61f30902081336g2818a979sf6a6db307e512c75@mail.gmail.com> References: <737b61f30902081336g2818a979sf6a6db307e512c75@mail.gmail.com> Date: Sun, 8 Feb 2009 16:03:41 -0600 Message-ID: <737b61f30902081403p550eda4dt5d909937cdc7f118@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: 15264 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: > Adjacent phrases: If p is in P, > - and at some position pos in p two successive tokens are terminators > of the form , (read "adjacent ID", "outer > ID"), > - and some number newID is a member of mapPhPh(oID), > - and and for the list p_1 consisting of the first pos members of p, I believe this should be "the first (pos + 1)" members of p. 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.