In case the author reads this, the distinction between Mealy and Moore machines is wrong. Both use the current state and the current input as arguments for the

In case the author reads this, the distinction between Mealy and Moore machines is wrong. Both use the current state and the current input as arguments for the transition function but while Mealy machines also use those two as arguments for the output function Moore machines only use the current state. They are equally powerful but Mealy machines can sometimes get away with fewer states at the price of the current state no longer uniquely determining the output. Especially in hardware implementations there are also Medvedev machines where the output is the state vector or part of it, i.e. the output function is the identity function. As far as I can tell that is also where the distinction originated from because they have different critical paths resulting in differing maximum clock frequencies. For software implementations the distinction seems not really relevant.