The Lyons Family Website  
Turing Machine Markup LanguageThe Turing Machine Markup Language (TMML) is an XML language for describing Turing machines. This page describes TMML (pronounced timmel), and provides the TMML DTD and sample TMML documents (i.e., sample Turing machines expressed in TMML). There are various definitions of the Turing machine. For example, some definitions of the Turing machine define halt states, and other definitions do not. In some definitions, the tape is infinite in both directions, and in others, the tape is only infinite to the right. TMML was designed to be a superset of these various Turing machine definitions. The differences among these definitions are not significant; in general, a Turing machine that conforms to one definition can be easily converted into an equivalent Turing machine that conforms with another definition. The DTD for TMML is available as HTML and as a downloadable file. Daan Wanrooy wrote an XML schema for TMML; it's is available as HTML and as a downloadable file. Thank you Daan! The following sample TMML documents are available in HTML format and in XML format:
Powered by Turing Machines :) 

Last modified: January 12, 2022. Copyright © 2022. Robert C. Lyons. All rights reserved. 