Finite state machines, including Mealy machines, for modeling computations - View it on GitHub