Universal Turing machine: Difference between revisions