1

on the following problem: Convert the following ε-NFA to DFA and prove if it is equivalent or not with the A2 in the picture enter image description here

i think that the epsilon closure of the {3,8} should be {1,2,4,7,8} and i don't know if i made it correct here

MJD
  • 65,394
  • 39
  • 298
  • 580

1 Answers1

1

I looked carefully at your conversion and it looks good. Now it is easy to see that $\mathcal{A}_1$ and $\mathcal{A}_2$ are not equivalent. For instance, the word $bc^2$ is accepted by $\mathcal{A}_2$ but not by $\mathcal{A}_1$.

For the second part of your question,

I think that the epsilon closure of $\{3,8\}$ should be $\{1,2,4,7,8\}$,

your intuition is wrong, but your computation of the epsilon closure in the table is clear and correct. The reason is that an $\varepsilon$-transition $p \xrightarrow{\varepsilon} q$ cannot be reversed: in other words, the $\varepsilon$-transition allows you to freely go from $p$ to $q$, but not from $q$ to $p$.

J.-E. Pin
  • 40,163
  • Well, it was my fault first of all, when I drew the automata, the line between 1 and 4 should be towards 1, and then my second statement would become true, and my conversion it's not correct – Timur Mengazi Sep 06 '18 at 14:19