fixed state transition table.