in Theory of Computation
364 views
1 vote
1 vote

Theorem: Let $L$ be the language accepted by a nondeterministic finite accepter $M_N= (Q_N, Σ,δ N,q0,F_N)$. Then
there exists a deterministic finite accepter $M_D= (Q_D, Σ,δ_D,${$q_0$}$,F_D)$ such that
$L= L (M_D)$.

convert the nfa in following figure to a dfa:

Can you see a simpler answer more directly?

in Theory of Computation
364 views

1 comment

this NFA accepting a+
0
0

1 Answer

1 vote
1 vote

2 states are required foe dfa

edited by

Related questions