So, if XML disallows certain symbols, but each Turing machine has it's
own alphabet, just because XML doesn't allow 0x0000 doesn't mean that an
XSLT stylesheet can't be a UTM, just that it has a different alphabet
from another UTM. In fact, the other page -
http://www.unidex.com/turing/utm.htm - states that: The Universal Turing
Machine stylesheet runs the Turing machine that is SPECIFIED BY THE
SOURCE DOCUMENT.
Not some pie in the sky non-XML compliant other source document. A
Turing Machine has its own set of rules that it has to follow to get to
where it's going.
-------
Jerry
-----Original Message-----
From: Kenneth Stephen [mailto:marvin.the.cynical.robot@xxxxxxxxx]
Sent: Friday, August 27, 2004 12:36 PM
To: xsl-list@xxxxxxxxxxxxxxxxxxxxxx
Subject: [xsl] [slightly OT]Universal Turing machine in XSLT
Hi,
Found this on the web :
http://www.unidex.com/turing/utm.htm
It seems to me that one of the implicit assumptions used by a UTM
is that it is able to write any specified symbol. If I read the XML
spec correctly though, certain symbols are not legal (for example
0x0000 is not a valid Unicode codepoint). That being the case, can
this UTM really be valid?
Thanks,
Kenneth