A diagram consisting of circles to represent states and directed line segments to represent transitions between the states. One or more actions (outputs) may be associated with each transition. The diagram represents a finite state machine.
Try this search on Wikipedia, OneLook, Google
Nearby terms: stateless « state machine « statement « state transition diagram » State University of New York » static » statically typed