Книга <<a href="https://books.google.com/books?id=1aMKAAAAQBAJ" rel="nofollow noreferrer"> Введение в теорию вычислений > (3-й), описанная NFA:
Затем введите ввод '010110' в этот NFA, книга дала это дерево, которое я считаю неправильным:
Второй входной символ '0' идет 3 ветки, которые являются q1, q2, q3. Но ветвь q3 не должна представляться в соответствии с описанием этого NFA.