Turing Machines and Effective Computations