Turing described such a construction in complete detail in his 1936 paper: "It is possible to invent a single machine which can be used to compute any computable sequence.
Тюрінг описав таку конструкцію в деталях у 1936 році: «Можливо винайти таку машину, яку можна використовувати для обрахунку будь-якої обчислюваної функції.