Comment by zem

state machines are a common example of an explicit graph-based abstraction that people build their code around.