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_at_news.aliant.net>
>
> ...
>
>
>
> 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,
>
> {{}}
Date: Wed, 31 Oct 2007 00:03:55 -0300
Message-ID: <4727eea3$0$14869$9a566e8b_at_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 Wed Oct 31 2007 - 04:03:55 CET