RE: [Fwd: Re: Language is not markup and markup is not langu

	No. There's the possibility that you could write an XSL processor in
a non-TC language. Grant the truth of the statement that "if program X is
expressible in one TC language, it is expressible in all TC languages".
Equivalence means that A implies B and B implies A. "X is TC" does imply
that "an XSL processor can be written in X", because there are TC languages
that can express XSL processors. Unfortunately, the implication the other
way is what we're trying to prove. "An XSL processor can be written in XSL"
needs to be joined with "an XSL processor can only be written in a TC
language" before you get "XSL is a TC language".
	So the equivalence depends on the truth of the statement "an XSL
processor can only be written in a TC language".

> -----Original Message-----
> From:	Chris Maden [SMTP:crism@xxxxxxxxxxx]
> Sent:	Thursday, May 13, 1999 9:59 AM
> To:	xsl-list@xxxxxxxxxxxxxxxx
> Subject:	Re: [Fwd: Re: Language is not markup and markup is not
> language.]
> 
> [Kay Michael]
> > You are suggesting that the statements "XSL is turing complete" and
> > "An XSL processor can be written in XSL" are equivalent. Another
> > interesting assertion, can you prove or justify it?
> 
> I am not a computer scientist, but isn't that the point of the theory
> of Turing completeness?  If an XSL processor can be written in one
> Turing-complete language, one can be written in any Turing-complete
> language.  If that's true, then "X is Turing-complete" and "An XSL
> processor can be written in X" are equivalent.  No?
> 
> -Chris
> -- 
> <!NOTATION SGML.Geek PUBLIC "-//Anonymous//NOTATION SGML Geek//EN">
> <!ENTITY crism PUBLIC "-//O'Reilly//NONSGML Christopher R. Maden//EN"
> "<URL>http://www.oreilly.com/people/staff/crism/ <TEL>+1.617.499.7487
> <USMAIL>90 Sherman Street, Cambridge, MA 02140 USA" NDATA SGML.Geek>
> 
> 
>  XSL-List info and archive:  http://www.mulberrytech.com/xsl/xsl-list
*****************************************************************************
The information in this email is confidential and may be legally privileged.
It is intended solely for the addressee. Access to this email by anyone else
is unauthorized. 

If you are not the intended recipient, any disclosure, copying, distribution
or any action taken or omitted to be taken in reliance on it, is prohibited
and may be unlawful. When addressed to our clients any opinions or advice
contained in this email are subject to the terms and conditions expressed in
the governing KPMG client engagement letter.         
*****************************************************************************


 XSL-List info and archive:  http://www.mulberrytech.com/xsl/xsl-list