> 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.
Yes I think you are right. A description of a Universal Turing Machine (the UTM program) is not the same thing the UTM which is a physical thing. It is indeed odd that this certain physical machine is so incredibly flexible as to be able to mimic an infinite number of other physical machines known as Turing Machines. Chris -- [email protected] http://www.kernel-panic.org/cgi-bin/mailman/listinfo/kplug-list
