State transition programming with a state transition table