Category Archives: Theory of Computation & Automata

Mealy and Moore Machines

3

Moore Machines: Moore machines are finite state machines with output value and its output depends only on present state. It can be defined as (Q, q0, ∑, O, δ, λ) where: Q is finite set of states. q0 is the initial state. ∑ is the input alphabet. O is the output alphabet. δ is transition function which maps Q×∑ → Q. λ is the output function which maps Q → O.  Figure 1 In the moore machine shown in Figure 1, the output is represented with each input state separated by /. The length of output for a moore machine is greater than input by 1. Input: 11 Transition: δ (q0,11)=> δ(q2,1)=>q2 Output: 000 (0 for q0, 0 for q2 and again 0 for q2)  Mealy Machines: Mealy machines are also finite state machines with output value and its output depends on present state and current input symbol. It can be defined as (Q, q0, ∑, O, δ, λ’) where: Q is finite set of states. q0 is the initial state. ∑ is the input alphabet. O is the output alphabet. δ is transition function which maps Q×∑ → Q. ‘λ’ is the output function which maps Q×∑→ O. Figure 2 In the mealy machine shown in Figure 1, the output is represented with each input symbol for each… Read More »