the state transition graph