finite-automata - 非決定的な有限自動化の問題

Question

私はいくつかの研究を行っており、1を処理するときにこの小さな非決定論的アルゴリズムについて少し混乱しています。0または1がリダイレクトされるため、q1のブランドに分割され、q2への出口矢印があることを理解していますは 1 ですが、なぜ q3 に分割されるのでしょうか? (0,空の文字列) を読み間違えているように感じます。

Answer 1

空の文字列は、いつでも取得できることを意味します。この場合、q2 には q3 への空の文字列矢印があるため、1 はそれを q2 に移動します。また、入力の次のビットを取得する必要なく、すぐに取得します。