5.2.1 The Machine Model