State-transition diagram
= State-transition diagram
A <directed graph> with one vertex for each state and labelled edges for the permitted transitions. A finite counter has a <directed cycle> when every state has one successor.
= State-transition diagram
A <directed graph> with one vertex for each state and labelled edges for the permitted transitions. A finite counter has a <directed cycle> when every state has one successor.