State-transition_table