state graph

state graph

[′stāt ‚graf] (computer science) A directed graph whose nodes correspond to internal states of a sequential machine and whose edges correspond to transitions among these states.