mealy_machine
