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.
Articles by others on the same topic
There are currently no matching articles.