Machines Moore and Mealy

Abstract

This chapter presents two finite-state machines (FMS): a Moore FMS (in which output values are determined solely by its current state) and a Mealy FMS (whose output values are determined both by its current state and by the values of its inputs). The chapter contains many examples of designing digital electronic systems, which are at the same time a restricted form of Moore machine (where the state changes only when the global clock signal changes), like a Moore FSM that performs a multiplication or binary division. Additionally the chapter explains the methods of hardware implementation of the constructed Moore FSMs.