недетерминированный конечный вопрос автоматизации

Question

Я немного изучаю, и я немного запутался в этом маленьком недетерминированном алгоритме, когда он обрабатывает 1. Я понимаю, что он разделится на бренд с q1, так как 0 или 1 перенаправят назад, и что есть стрелка выходаq2 есть 1, но почему бы это разделить на q3?Я чувствую, что я неправильно читаю (0, пустая строка), любые разъяснения были бы великолепны.

Answer 1

Пустая строка означает, что вы можете взять ее в любое время. В этом случае, 1 возьмет это к q2, и потому что у q2 есть пустая строковая стрелка к q3. Это также немедленно примет это без необходимости получать следующий бит ввода.