Re: [sl4] Is there a model for RSI?

From: J. Andrew Rogers (andrew@ceruleansystems.com)
Date: Mon Jun 23 2008 - 13:55:20 MDT


On Jun 23, 2008, at 12:37 PM, Peter de Blanc wrote:
> J. Andrew Rogers wrote:
>> On Jun 23, 2008, at 11:27 AM, Peter de Blanc wrote:
>>>> The focus should have been on the very first line, since that had
>>>> no ambiguity: Exactly how does a machine output a copy of itself
>>>> (with or without the counter)?
>>>
>>> Like this:
>>>
>>> ((lambda (x y)
>>> (list x (list (quote quote) x) (+ y 1)))
>>> (quote
>>> (lambda (x y)
>>> (list x (list (quote quote) x) (+ y 1)))) 0)
>> Nothing is happening. I think you might have lost some state.
>> J. Andrew Rogers
>
> You need to run it in a scheme or lisp interpreter. I use PLT
> Scheme. It outputs a copy of itself, except that the 0 at the end is
> now a 1.

In other words, you have only copied a *subset* of the machine state,
which is perfectly acceptable.

J. Andrew Rogers



This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:01:03 MDT