. . "A program is a state to state mapping." . .