TMML Home Page

This site describes the Turing Machine Markup Language (TMML), which is an XML language for describing Turing machines. The site provides sample TMML documents and an XSLT 1.0 stylesheet that interprets (i.e., executes) the Turing machine that is described in a TMML document. This XSLT stylesheet, which is a Universal Turing Machine, is an existence proof that XSLT 1.0 is Turing complete.

This web site is organized as follows:

• Introduction to Turing Machines
• The Turing Machine Markup Language
• Universal Turing Machine in XSLT

I created TMML and the Universal Turing Machine stylesheet to have some fun and to learn more about the XSLT language. I created this site to share what I learned about Turing machines and XSLT.

Powered by Turing Machines :-)