From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: William Elliot Newsgroups: gmane.emacs.help Subject: Re: Lambda calculus and it relation to LISP Date: Fri, 11 Oct 2002 21:02:39 -0700 Organization: Newsfeeds.com http://www.newsfeeds.com 80,000+ UNCENSORED Newsgroups. Sender: help-gnu-emacs-admin@gnu.org Message-ID: <20021011210010.J98155-100000@agora.rdrop.com> References: <9e8ebeb2.0210041920.2e480123@posting.google.com> <7vbs69b9wr.fsf@gehennom.net> <20021005034431.P16860-100000@agora.rdrop.com> NNTP-Posting-Host: localhost.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: main.gmane.org 1034395585 26708 127.0.0.1 (12 Oct 2002 04:06:25 GMT) X-Complaints-To: usenet@main.gmane.org NNTP-Posting-Date: Sat, 12 Oct 2002 04:06:25 +0000 (UTC) Return-path: Original-Received: from monty-python.gnu.org ([199.232.76.173]) by main.gmane.org with esmtp (Exim 3.35 #1 (Debian)) id 180DXk-0006wd-00 for ; Sat, 12 Oct 2002 06:06:24 +0200 Original-Received: from localhost ([127.0.0.1] helo=monty-python.gnu.org) by monty-python.gnu.org with esmtp (Exim 4.10) id 180DXk-0001FW-00; Sat, 12 Oct 2002 00:06:24 -0400 Original-Newsgroups: gnu.emacs.help,comp.lang.lisp,sci.math,sci.logic X-X-Sender: In-Reply-To: Original-NNTP-Posting-Host: 199.26.172.34 Original-X-Trace: corp.newsgroups.com 1034394283 199.26.172.34 (11 Oct 2002 22:44:43 -0500) Original-Lines: 26 X-Comments: This message was posted through Newsfeeds.com X-Comments2: IMPORTANT: Newsfeeds.com does not condone, nor support, spam or any illegal or copyrighted postings. X-Comments3: IMPORTANT: Under NO circumstances will postings containing illegal or copyrighted material through this service be tolerated!! X-Report: Please report illegal or inappropriate use to X-Abuse-Info: Please be sure to forward a copy of ALL headers, INCLUDING the body (DO NOT SEND ATTACHMENTS) Original-Path: shelby.stanford.edu!newsfeed.stanford.edu!logbridge.uoregon.edu!nntp-relay.ihug.net!ihug.co.nz!l-out.nntp.be!corp.newsgroups.com!agora.rdrop.com!mars Original-Xref: shelby.stanford.edu gnu.emacs.help:105957 comp.lang.lisp:96298 sci.math:551332 sci.logic:62013 Original-To: help-gnu-emacs@gnu.org Errors-To: help-gnu-emacs-admin@gnu.org X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.0.11 Precedence: bulk List-Help: List-Post: List-Subscribe: , List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: Xref: main.gmane.org gmane.emacs.help:2504 X-Report-Spam: http://spam.gmane.org/gmane.emacs.help:2504 On 11 Oct 2002, Alfred Einstead wrote: > William Elliot wrote: > > > ((lambda (x) x x) (lambda (x) x x)) > > (Lx.xx)(Lx.xxx) > > That one, however, DOES has a normal form: the > rational infinite expression > DT -> ((((...)T)T)T)T > where > D = lambda x. xx > T = lambda x. xxx > > In GNUese, this is the rational infinite lambda > expression Z, where Z is the GNUbreviation of ZT. > dd -> dd -> dd -> dd -> dd -> ... dt -> ttt -> tttt -> ttttt -> ... Neither reduces to stable form without further reductions to be made. -----= Posted via Newsfeeds.Com, Uncensored Usenet News =----- http://www.newsfeeds.com - The #1 Newsgroup Service in the World! -----== Over 80,000 Newsgroups - 16 Different Servers! =-----