in Theory of Computation
227 views
0 votes
0 votes
Is it true that for every nfa $M = (Q,Σ,δ,q_0,F)$ the complement of $L(M)$ is equal to the set

{$w ∈ Σ^*: δ^*(q_0,w) $ $\cap$ $(Q-F)$ $\neq$ $Ø$}? If so, prove it. If not, give a counterexample.
in Theory of Computation
227 views

Please log in or register to answer this question.

Related questions