Turing-Machines rule