## Issur Position [url](https://github.com/fool2fish/dragon-book-exercise-answers/blob/master/ch03/3.7/3.7.md) In exercise 3.7.3 (4), current NAF and **Transition Table** is: **NFA**  **Transition table** <table> <thead> <tr> <th>NFA State</th> <th>DFA State</th> <th>a</th> <th>b</th> </tr> </thead> <tbody> <tr> <td>{0,1,2,4,7}</td> <td>A</td> <td>B</td> <td>C</td> </tr> <tr> <td>{1,2,3,4,6,7,8}</td> <td>B</td> <td>B</td> <td>D</td> </tr> <tr> <td>{1,2,4,5,6,7}</td> <td>C</td> <td>B</td> <td>C</td> </tr> <tr> <td>{1,2,4,5,6,7,9}</td> <td>D</td> <td>B</td> <td>E</td> </tr> <tr> <td>{1,2,4,5,6,7,10,11,12,14,17}</td> <td>E</td> <td>F</td> <td>G</td> </tr> <tr> <td>{1,2,3,4,6,7,8,11,12,13,14,16,17}</td> <td>F</td> <td>F</td> <td>H</td> </tr> <tr> <td>{1,2,4,5,6,7,11,12,13,15,16,17}</td> <td>G</td> <td>F</td> <td>G</td> </tr> <tr> <td>{1,2,4,5,6,7,9,11,12,14,15,16,17}</td> <td>H</td> <td>F</td> <td>I</td> </tr> <tr> <td>{1,2,4,5,6,7,10,11,12,14,15,16,17}</td> <td>I</td> <td>F</td> <td>G</td> </tr> </tbody> </table> ## Core Issue Focusing on DFA state `G`, `13` is belongs to corresponding NFA state. But I think it should be `14`. Because $G=\epsilon_closure(5)\cup\epsilon_closure(15)$, we can not reach `13`. But we can transfer `14` via $\epsilon$. > [!Note] > That's only my opinion and may be wrong. Thanks for reviewing.
Issur Position
url
In exercise 3.7.3 (4), current NAF and Transition Table is:
NFA
Transition table
Core Issue
Focusing on DFA state
G,13is belongs to corresponding NFA state. But I think it should be14.Because$G=\epsilon_closure(5)\cup\epsilon_closure(15)$ , we can not reach $\epsilon$ .
13. But we can transfer14viaNote
That's only my opinion and may be wrong. Thanks for reviewing.