Thus you see how it is you can devise any language you want, provided you can uniquely define it in some definite manner. It goes on top of the machine’s language, making the machine into any other machine you want. Of course, this is exactly what Turing proved with his Universal Turing Machine, but, as noted above, it was not clearly understood until we had done it a number of times.
