Machines, Computations, and Universality