Method having specific semantics designed for the control of a Program by causing a state transition