Content deleted Content added
m The subsection ===Recognized language=== just below assumes the definition of NFA without epsilon-moves. The definition of NFA with epsilon-moves is in the section ==NFA with ε-moves==. |
→Equivalence to NFA: clarify |
||
Line 211:
:*If <math>\delta'^*(q_0,w)</math> contains a state in <math>F' \setminus \{ q_0 \} ,</math> then <math>\delta^*(q_0,w)</math> contains the same state, which lies in <math>F</math>.
:*If <math>\delta'^*(q_0,w)</math> contains <math>q_0 ,</math> and <math>q_0 \in F ,</math> then <math>\delta^*(q_0,w)</math> also contains a state in <math>F ,</math> viz. <math>q_0 .</math>
:*If <math>\delta'^*(q_0,w)</math> contains <math>q_0 ,</math> and <math>q_0 \not\in F ,</math> but <math>q_0\in F',</math> then
Since NFA is equivalent to DFA, NFA-ε is also equivalent to DFA.
| |||