Which of the statements is / are CORRECT ? (A) Moore and Mealy machines are…

Answer: The three correct statements are the ones that say Moore and Mealy machines are finite-state machines with outputs, that any Moore machine has an equivalent Mealy machine, and that any Mealy machine has an equivalent Moore machine. The statement claiming that a Moore machine is not a finite-state machine is false.

Key points:

• Definitions: A Moore machine and a Mealy machine are both finite-state machines that produce outputs. In a Moore machine the outputs are associated with states; in a Mealy machine the outputs are associated with transitions.

• Moore → Mealy conversion: For each state in the Moore machine, assign that state's output to all outgoing transitions in the Mealy machine. This moves outputs from states to transitions while preserving the input→output behaviour (possibly adjusting initial output timing), so an equivalent Mealy machine exists.

• Mealy → Moore conversion: Because Mealy outputs depend on state and input, convert by splitting original states into separate new states so that each new state has a single, well-defined output. This construction may increase the number of states but yields a Moore machine that implements the same mapping from input sequences to output sequences.

• Conclusion: The equivalence conversions show that all three positive statements are true and the negative statement denying that Moore machines are finite-state machines is false.