logic and state machines mealy vs moore