NFA to DFA: new initial state

291 Views Asked by At

Question 4 asks to convert this NFA to a DFA:

Q4 asks to convert this NFA to a DFA

The solution is as follows:

Solutions' DFA

Whereas I found this as a solution (excuse the messy layout):

My DFA (excuse the messy layout)

My DFA is identical to the solutions' except the initial state (underlined).

The solutions omitted the 0 state (NFA initial state) and made 1,3 the DFA initial state (mine stays 0).

Can anybody please explain why they removed the 0 state and made 1,3 initial instead?

Edit: the original Q has been answered, but the following NFA to DFA doesn't seem to follow:

enter image description here

The DFA -

I've changed the labels for comprehension: enter image description here

But shouldn't the new initial state be 1,4 (not in DFA)?

1

There are 1 best solutions below

7
On

Okay I stumbled on another thread that explains it well: https://math.stackexchange.com/questions/1809453/nfa-to-dfa-removing-unnecessary-states-what-is-new-start-state#:~:text=1%20Answer&text=The%20starting%20state%20of%20the,after%20reading%20the%20word%20%CF%B5.

Basically, the new DFA's initial state is the set of all states the NFA's initial state reached using only epsilon transitions.