 Recall that in Turing’s original version of the Turing machine, the machines are computing real numbers. This implied that a “well-behaving” Turing machine should in fact never halt and print out an infinite sequence of figures. Such machines were identified by Turing as circle-free. All other machines are called circular machines. A number n which is the D.N. of a circle-free machine is called satisfactory.