no_semi-valid_transitions.dot 685 Bytes