in Theory of Computation retagged by
440 views
3 votes
3 votes

Consider the following NFA $M$ and say what language is recognised by constructing the machine that recognises the complement of $L(M)$ in $\{a\}^*$.

  1. $\emptyset$
  2. $\{a\}^*$
  3. $\{a\}$
  4. $\{\varepsilon\}$
in Theory of Computation retagged by
440 views

2 Comments

Just make the DFA relevant to NFA and you will get two states only and then make a complement of that state, which will make the initial state the final state and you will find the language.
0
0

$ \large{\colorbox{yellow}{Detailed video solution of this question with direct time stamp}}$
All India Mock Test 3 - Solutions Part 1

0
0

1 Answer

2 votes
2 votes

$\mathrm{D}$ - the language recognised by the original machine is $a^{+}$.

The question asks for the Complement of the language accepted by the NFA, not asking us to complement the states of the given NFA.

Complementing states in NFA may or may not result in NFA for language complement.

Watch the following Complete Explanation from $01:03:56$ to $01:38:28.$ https://www.youtube.com/watch?v=zPIl_p2MiVY&t=3836s

We have provided the Proof $\&$ All the reasons of "WHY" complementing states in NFA doesn't work.

edited by
Answer:

Related questions