Turing describió tal construcción en completo detalle en su artículo de 1936: