GATE EC 2016 Set 2 — Question 54
Go beyond PYQs with Success TrackerAI-powered personalised practice and doubt support. Unlimited practice on eligible plans; AI usage limits apply.MCQ+2 / -0.67MediumFSM (Mealy & Moore)Sequential LogicDigital Circuits
Digital Circuits → Sequential Logic → FSM (Mealy & Moore)
Last updated
Question
The state transition diagram for a finite state machine with states A, B and C, and binary inputs X, Y and Z, is shown in the figure.
The transitions in the diagram are: from A, stay in A if or if ; go to B if ; go to C if . From B, stay in B if ; go to A if ; go to C if . From C, stay in C if ; go to A if ; go to B if .Which one of the following statements is correct?

Correct answer
(C) Transitions from State C are ambiguously defined.
Solution
A state's transitions are ambiguous if some input combination satisfies the conditions of two arcs leading to different next states.State A: conditions (to A), (to A), (to B), (to C). The only overlap is between the two self-loops (), and both lead to A, so there is no conflict. Not ambiguous.State B: conditions (to B), (to A), (to C). These three are mutually exclusive and cover all inputs. Not ambiguous.State C: conditions (to C), (to A), (to B). For both the arc to A and the arc to B are satisfied, so the next state is not uniquely defined. (In addition, satisfies no arc.) Ambiguous.Hence (A), (B) and (D) are false and (C) is correct.Answer: (C)
Continue learning with Success Tracker
A step still unclear? Work through it with support
Use Success Tracker to ask about the reasoning, then try another GATE EC question to check your understanding.
AI-powered practice· Unlimited practice on eligible plans
- PYQs with solutions
- Attempt available previous-year questions, then compare your reasoning with the worked solution. Coverage varies by stream.
- Practice that adapts
- Choose a topic, work on weaker areas and bookmark questions to revisit. Your attempts feed your progress tracking.
- AI doubt support
- Ask follow-up questions about a step or concept while practising, instead of stopping at the final answer.
Unlimited practice is available on eligible plans. Free practice and AI usage have limits; check the current plan allowances before choosing.
This page stays readable without an account. AI responses can be wrong; check them against the solution and source material.
More questions on Sequential Logic
2026 Set 1 Q20In the circuit shown in the Figure, A and B are logic inputs and Y is the logic output. Which of…2026 Set 1 Q27A binary ripple counter is designed to count to . Which of the following…2026 Set 1 Q35The negative edge triggered JK flip-flop in the Figure has J and K inputs tied to Logic High and a…2026 Set 1 Q42The address of the first location of a 256 kilo byte (KB) memory is . Choose the correct…2026 Set 1 Q45What is the complement of ?