A Mealy machine is a machine in which output symbol depends upon the present input symbol and present state of the machine. In the Mealy machine, the output is represented with each input symbol for each state separated by /.

The Mealy machine can be described by 6 tuples (Q, q0, ∑, O, δ, λ') where

Q:  a finite set of states  

q0: the initial state of the machine  

∑:   a finite set of the input alphabet  

O:   output alphabet  

δ:   transition function where Q × ∑ → Q  

λ:   output function where Q × ∑ →O 

//  If the input has n symbol, the output will contain n+1 symbol 

Example 1: Design a mealy machine that scans sequence of input of 0 and 1 and generates output 'A' if the input string terminates in 00, output 'B' if the string terminates in 11, and output 'C' otherwise.

Solution:

Example 2: Draw a mealy machine for 2's complement.

Solution: 

The logic to construct a Mealy machine for 2's complement is:

Start scanning symbol from the right side and long as you see 0 leave it as 0 but when you see first 1 leave it as 1 and after that write down the  1's complement of every symbol you see.

for example: 2's complement for 1100101100 is 0011010100 

Introduction: - These are the finite Automata with output

The tuples are like

• Q:    is a finite set of states.
• q₀:   is the initial state.
• ∑ :   is the input alphabet.
• :  is the output alphabet.
• δ:    is an input transition function which maps Q×∑ → Q.
• λ:    is the output function which maps Q → O.

Moore machine: In Moore machine output is associated with each state. Here output depends on the present state.

The output function is λ: Q → 

it has more states than Mealy Machine.

Mealy machine: In Miley machine output is dependent on the current state as well as present input

The output function is λ: Q ×∑  →

 It has fewer states than Moore Machine.

*****

When you are doing conversions from Mealy machine to Moore machine, the no. of states may be increased. But when from Moore to Miley no. of states are remain the same.