doc/math/state_machine.md