Does this procedure give an effective way of assigning unique Godel numbers to Turing programs?
Let denote the th prime number. Let be internal states, let denote tape symbols and let denote direction symbols. Assign a code number to each of these symbols as follows: .
Now suppose is a line of a Turing program . Then where and . Assign a code number to as follows:
Lastly suppose that is a Turing program. Assign a code number to as follows: .