TM Variants, Church-Turing Thesis