State Transition Graph

Construction of a State Transition Graph