Models with a finite number of states can be called Mealy models. In Mealy models, outputs are associated with transitions. There is the alternative model called as a Moore model, and in it the outputs are associated with states. The Moore model can be easily generated from the Mealy model, through replacing each output code [...]