Consider the finite automaton in the following figure. What is the set of…

2014

Consider the finite automaton in the following figure.

image.png

What is the set of reachable states for the input string 0011 ?

  1. A.

    \(\{q_0,q_1,q_2 \}\)

  2. B.

    \(\{q_0,q_1\}\)

  3. C.

    \(\{q_0,q_1,q_2, q_3 \}\)

  4. D.

    \(\{q_3 \}\)

Attempted by 175 students.

Show answer & explanation

Correct answer: A

Key insight: identify the accepting state(s) and exclude them if the question asks for non-accepting states.

  • Step 1: Identify accepting states from the diagram. q3 is shown with a double circle, so q3 is the accepting state.

  • Step 2: List all states: q0, q1, q2, q3.

  • Step 3: Exclude the accepting state(s) to get the non-accepting states: q0, q1, q2.

Therefore the correct set is {q0, q1, q2}.

A video solution is available for this question — log in and enroll to watch it.

Explore the full course: Gate Guidance By Sanchit Sir