a Turing Machines Most powerful computational model abb input