Re: RM and abstract syntax trees

From: Bob Badour <bbadour_at_pei.sympatico.ca>
Date: Wed, 31 Oct 2007 00:03:55 -0300
Message-ID: <4727eea3$0$14869$9a566e8b@news.aliant.net>

paul c wrote:
> Bob Badour wrote:
>

>> paul c wrote:

>
> ...
>

>>> So far, it looks like a peculiar kind of constraint to me.  As 
>>> somebody else say, go ahead and attack it, I can take it!
>>
>>
>> { 0, {} }
>> { 1, {} }
>> { 2, {} }
>> { 3, { -1, { 3, {} } } }

>
>
> I think I agree with all of those and thanks. But I still think if I
> remove A from the definition, there is only one possible tuple, ie., one
> that we can ever express an extension for:
>
> something like,
>
> {{}}

I already gave you a whole bunch of examples for that one.

{}
{{}}
{{{}}}
{{{{}}}}
{{},{{}}}
{{{}},{{{}}},{{{{}}}}}

etc. Received on Tue Oct 30 2007 - 22:03:55 CDT