Let be a theory explaining the operation of a machine by means of transition laws of the form: when the machine is in state, so and so input causes it to go into state T; and produce such and such output.