Subject: RE: [Fwd: Re: Language is not markup and markup is not language.] From: "Vun Kannon, David" <dvunkannon@xxxxxxxx> Date: Thu, 13 May 1999 12:21:10 -0400 |
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
Current Thread |
---|
|
<- Previous | Index | Next -> |
---|---|---|
Re: [Fwd: Re: Language is not marku, Paul Prescod | Thread | RE: [Fwd: Re: Language is not marku, Kay Michael |
Re: XLink: behavior must go!, Martin Bryan | Date | Re: XLink: behavior must go!, Rick Geimer |
Month |