Producing visual charts is kind of just a neat side effect of state machines. The real benefit is formalizing a process’s possible state flows in a generally co

Producing visual charts is kind of just a neat side effect of state machines. The real benefit is formalizing a process’s possible state flows in a generally consistent and traceable way. You don’t actually need any tool to do this, disciplined convention can accomplish the same (but a tool is a great forcing function to be sure you’re actually doing it, and a well defined static type system can be useful too).