10.2.5 Models of Computation