Converting NFAs to DFAs

254 Views Asked by At

I wanted to find the diagram for the DFA that recognizes $$L=\{w \mid w \text{ starts with }1 \text{ and ends with }0\}$$ Clearly, it is easier to find a NFA first. But I couldn't convert it to a DFA with the method my textbook suggested. What went wrong? The DFA that resulted from taking all the subsets of states from the NFA and drawing and pruning the extra arrows doesn't recognize $L$.

enter image description here

enter image description here

2

There are 2 best solutions below

0
On

I don't know what method your textbook suggests or how you applied it but I think you just want to do the following

  • $q_{\rm start}[1 \to q_1]$
  • $q_1[1 \to q_1, 0 \to q_0]$
  • $q_0[1 \to q_1, 0 \to q_0]$ (accepting)
0
On

enter image description here

It's not quite clear what your NFA translation algorithm is, but here is a diagram of the DFA you are looking for.