 This is, essentially, Turing’s version of  Gödel numbering.  Indeed, as Turing shows, one can easily get a numerical description representation or Description Number (D.N.) of a Turing machine \(T_{n}\) by replacing: