4 ms·Absolutely. State Machines are easily modelled in pure math. TLA+ is but one example of this.by mbrodersen 4y agoAbsolutely. State Machines are easily modelled in pure math. TLA+ is but one example of this.