6. TM Variants, Church-Turing Thesis