[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

Re: schema-aware XML parser (java heap error)


html infinite

> I have heard that XSLT 1.0 is Turing complete ..

yes, as far as any language on a real machine is. You need to accept
some finite approximation of an infinite tape  in practice, as not many
real machines have an infinite storage device (and XSLT can't actually
read and write to a file in the same run, so you need to model the tape
in memory, so you'd need infinite (virtual) memory).

> Is XSLT 2.0 also?

Clearly, as XSLT2 contains XSLT1 as a sublanguage (with minor differences
but not anything that would affect this)

> If yes, what will be the proof of this fact?

well there are I think some explict models of a turing machine in xslt1
(ask google) but the whole point of turing's result is that essentially
all programming paradigms are equivalent so long as you have the ability
to store a finite amount of state, and an unbounded (but finite) amount
of data, and the ability to to test values for equality and to read and
write data.

So it's pretty hard to have a language that has variable assignment and
an  if statement that is not turing complete, modulo the lack of an
infinite tape.

David

________________________________________________________________________
This e-mail has been scanned for all viruses by Star. The
service is powered by MessageLabs. For more information on a proactive
anti-virus service working around the clock, around the globe, visit:
http://www.star.net.uk
________________________________________________________________________

PURCHASE STYLUS STUDIO ONLINE TODAY!

Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced!

Buy Stylus Studio Now

Download The World's Best XML IDE!

Accelerate XML development with our award-winning XML IDE - Download a free trial today!

Don't miss another message! Subscribe to this list today.
Email
First Name
Last Name
Company
Subscribe in XML format
RSS 2.0
Atom 0.3
 

Stylus Studio has published XML-DEV in RSS and ATOM formats, enabling users to easily subcribe to the list from their preferred news reader application.


Stylus Studio Sponsored Links are added links designed to provide related and additional information to the visitors of this website. they were not included by the author in the initial post. To view the content without the Sponsor Links please click here.

Site Map | Privacy Policy | Terms of Use | Trademarks
Free Stylus Studio XML Training:
W3C Member
Stylus Studio® and DataDirect XQuery ™are products from DataDirect Technologies, is a registered trademark of Progress Software Corporation, in the U.S. and other countries. © 2004-2013 All Rights Reserved.