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