Finite State Machine
Kind: algorithm
Record: algorithms:finite-state-machine
Canonical: Algorithms
Closure: Dependencies in load order
Model behavior as a finite set of states with explicit legal transitions, so illegal state combinations are unrepresentable.
Listed in Algorithm contracts, after Consumer Config SSOT and before Statecharts.