Exams › GATE › Technical
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?
- States 2 and 4 are distinguishable in $M$
- States 3 and 4 are distinguishable in $M$
- States 2 and 5 are distinguishable in $M$
- 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
- Consider the following context-free grammar where the set of terminals is {a, b, c, d, f}: S → daT | Rf T → aS | baT | ε R → caTR | ε Which of the following is correct?
- For a Turing machine $M$, $\langle M\rangle$ denotes an encoding of $M$. Consider the following two languages: $L_1=\{\langle M\rangle \mid M$ takes more than 2021 steps on all inputs$\}$ $L_2=\{\langle M\rangle \mid M$ takes more than 2021 steps on some input$\}$
- A regular language $L$ is accepted by a nondeterministic finite automaton (NFA) with $n$ states. Which of the following statement(s) is/are FALSE?
- Consider the following two languages over the alphabet \(\{a,b\}\): \[ L_1=\{\alpha\beta\alpha \mid \alpha\in\{a,b\}^* \text{ and } \beta\in\{a,b\}^+\} \] \[ L_2=\{\alpha\beta\alpha \mid \alpha\in\{a\}^* \text{ and } \beta\in\{a,b\}^+\} \] Which ONE of the following statements is CORRECT?
- Consider the following languages over the alphabet \(\{a,b,c\}\), where \(m\) and \(n\) are natural numbers: \[ L_1=\{a^m b^m c^{m+n} \mid m,n\ge 1\} \] \[ L_2=\{a^m b^n c^{m+n} \mid m,n\ge 1\} \] Which ONE of the following statements is CORRECT?
- Consider the following deterministic finite automaton (DFA) defined over the alphabet \(\Sigma=\{a,b\}\). Identify which of the following language(s) is/are accepted by the given DFA.
⚔️ Practice GATE Technical free + battle 1v1 →