Definition A machine consisting of a set of states, a start state, an input, and a transition function that maps input and current states to a next state. Machine begins in the start state with an input. It changes to new states depending on the transition function. The transition function depends on current states and inputs. The output of the machine depends on input and/or current state. There are two types of FSMs which are popularly used in the digital design. They are Moore machine Mealy machine Moore machine In Moore machine the output depends only on current state.The advantage of the Moore model is a simplification of the behavior. Mealy machine In Mealy machine the output depend on both current state and input.The advantage of the Mealy model is that it may lead to reduction of the number of states. In both models the next state depends on current state and input. Some times designers use mixed models. States will be encoded for representing a particular state. Representatio...