State-transition diagram
ID: 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.
New to topics? Read the docs here!