On 7/18/06, [EMAIL PROTECTED] <[EMAIL PROTECTED]> wrote:
It is the universality of a certain subset of Turing Machines
you are interested in right?

No.

In other words...the fact that the program is actually
imitating another Turing Machine you haven't built yet?

This isn't the same thing "in other words", and it's not correct.  The
program doesn't imitate another machine, it's the description of
another machine, so that the physical machine may imitate that other
machine.

-todd


--
[email protected]
http://www.kernel-panic.org/cgi-bin/mailman/listinfo/kplug-list

Reply via email to