> I don't think you're getting what I'm saying. I'm talking about > Turing machines only incidentally.
It is the universality of a certain subset of Turing Machines you are interested in right? In other words...the fact that the program is actually imitating another Turing Machine you haven't built yet? Chris -- [email protected] http://www.kernel-panic.org/cgi-bin/mailman/listinfo/kplug-list
