For the following sequential circuit Find the nextstate equa

For the following sequential circuit, Find the next-state equation or map for each flip-flop. (Is this a Mealy or Moore machine?) Using these next-state equations or maps, construct a state table and graph for the circuit.

Solution

Finite automata may have outputs corresponding to each transition. There are two types of finite state machines that generate output

A Mealy Machine is an FSM whose output depends on the present state as well as the present input.

It can be described by a 6 tuple (Q, , O, , X, q₀) where

Q is a finite set of states.

is a finite set of symbols called the input alphabet.

O is a finite set of symbols called the output alphabet.

is the input transition function where : Q × Q

X is the output transition function where X: Q O

q₀ is the initial state from where any input is processed (q₀ Q).

Moore machine is an FSM whose outputs depend on only the present state.

A Moore machine can be described by a 6 tuple (Q, , O, , X, q₀) where

Q is a finite set of states.

is a finite set of symbols called the input alphabet.

O is a finite set of symbols called the output alphabet.

is the input transition function where : Q × Q

X is the output transition function where X: Q × O

q₀ is the initial state from where any input is processed (q₀ Q).