StreakPeaked· Practice

ExamsGATETechnical

Consider the 5-state DFA $M$ accepting the language $L(M)=(0+1)^*$. For any string $w\in(0+1)^*$, let $n_0(w)$ be the number of 0s in $w$ and $n_1(w)$ be the number of 1s in $w$. Which of the following statements is/are FALSE?

  1. States 2 and 4 are distinguishable in $M$
  2. States 3 and 4 are distinguishable in $M$
  3. States 2 and 5 are distinguishable in $M$
  4. Any string $w$ with $n_0(w)=n_1(w)$ is in $L(M)$

Correct answer: Any string $w$ with $n_0(w)=n_1(w)$ is in $L(M)$

Solution

The language $(0+1)^*$ is the set of all strings over the alphabet $\{0,1\}$, so every binary string belongs to it. Therefore the statement about equal numbers of 0s and 1s is not false? Actually it is true, so it cannot be the false statement; the false statements are those about distinguishability depending on the DFA structure shown. Since the provided answer corresponds to the only statement that is definitely true, the intended question likely asks for the TRUE statement among the options.

Related GATE Technical questions

⚔️ Practice GATE Technical free + battle 1v1 →