XSLT Version 2.0 Is Turing-Complete: A Purely Transformation Based Proof

  • Ruhsan Onder
  • Zeki Bayram
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4094)

Abstract

XSLT version 2.0 has the full power of a Turing machine, i.e. it is “Turing-complete.” We show this is so by implementing a universal Turing machine emulator stylesheet in XSLT. We use only the constructs available in the official XSLT version 2.0 recommendation of the World Wide Web Consortium. Furthermore, we do not resort to string functions (which are also available in XSLT) but rather rely on the innate transformational capabilities of XSLT.

References

  1. 1.
    Onder, R., Bayram, Z.: Interpreting imperative programming languages in XSLT. In: Proceedings of the Ninth IASTED International conference on Internet and Multimedia Systems and Applications (EuroIMSA 2005), IASTED, pp. 131–136 (2005)Google Scholar
  2. 2.
    Hopcroft, J., Motwani, R., Ullman, J.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading (2001)MATHGoogle Scholar
  3. 3.
    Brainerd, W., Landweber, L.: Theory of Computation. Wiley, Chichester (1974)Google Scholar
  4. 4.
    Kay, M. (ed.): XSL transformations (XSLT) version 2.0 of W3C working draft (2005), Available at: http://www.w3.org/TR/xslt20
  5. 5.
    Onder, R., Bayram, Z.: Universal Turing Machine Emulator Stylesheet UTMES (2006), Available at: http://itrc.emu.edu.tr
  6. 6.
    Kepser, S.: A simple proof for the Turing-completeness of XSLT and XQuery. In: Proceedings of the Extreme Markup Languages, Montreal, Quebec (2004)Google Scholar
  7. 7.
    Lyons, B.: Universal Turing machine in XSLT (2001), Available at: http://www.unidex.com/turing/utm.htm
  8. 8.
    Korlyukov, A.: Turing machine (2001), Available at: http://www.refal.net/~korlukov/tm/
  9. 9.
    Clark, J.: XT: an XSLT processor in Java (2002), Available at: http://www.blnz.com/xt/index.html

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Ruhsan Onder
    • 1
  • Zeki Bayram
    • 1
  1. 1.Department of Computer Engineering and Internet Technologies Research CenterEastern Mediterranean UniversityFamagustaCyprus

Personalised recommendations