• To: "'Mukul Gandhi'" <mukul_gandhi@y...>, <Farid.Mahini@L...>, <xml-dev@l...>
• Subject: RE: schema-aware XML parser (java heap error)
• From: "Michael Kay" <mike@s...>
• Date: Fri, 3 Jun 2005 11:52:41 +0100
• In-reply-to: <20050603053053.84512.qmail@w...>
• Thread-index: AcVn/WnW/CSTvtuYQm2irx1d95DDWwALFHcw

> 
> I have heard that XSLT 1.0 is Turing complete .. Is
> XSLT 2.0 also? If yes, what will be the proof of this
> fact?
> 

There is a proof that XSLT 1.0 is Turing complete at
http://www.unidex.com/turing/utm.htm

The proof clearly applies equally to XSLT 2.0 since the Universal Turing
Machine used in the proof is a legal XSLT 2.0 stylesheet.

(This question has no connection with the previous message on the thread,
other than that both are concerned with finite state machines...)

Michael Kay
http://www.saxonica.com/

• Follow-Ups:
  • RE: schema-aware XML parser (java heap error)
    • From: Mukul Gandhi <mukul_gandhi@y...>

• References:
  • RE: schema-aware XML parser (java heap error)
    • From: Mukul Gandhi <mukul_gandhi@y...>

• Prev by Date: Re: schema-aware XML parser (java heap error)
• Next by Date: RE: Why XML for Messaging?
• Previous by thread: Re: schema-aware XML parser (java heap error)
• Next by thread: RE: schema-aware XML parser (java heap error)
• Index(es):
  • Date
  • Thread