All known systems of computation defined so far have the same computational power as Turing machines...