A state transition table