state_transition_diagrams
