非決定性有限オートマトン| Sipserの例1.16

私はSipser Book（第2版）を作業していて、この例に出くわしましたが、理解できません。この本には、このNFAが空の文字列 $\epsilon$ 受け入れることが記載されています。

なぜこれが事実であるかを誰かが私に説明してくれませんか？

私の理解では、 $\epsilon$ は受け入れ状態ではない $q_3$ 移動します。

regular-languages finite-automata nondeterminism

— 凸ヒョウ
ソース

ϵ

$\epsilon$

包括的なリンクをありがとう-私は今これを手に入れていると思います。

— Convex Leopard

$\epsilon$

$w$ $w$ $w$

q_{0} \overset{w_{1}}{\to} q_{1} \overset{w_{2}}{\to} q_{2} \overset{w_{3}}{\to} \dots \overset{w_{n}}{\to} q_{n}

$q_0 \stackrel{w_1}\to q_1 \stackrel{w_2}\to q_2 \stackrel{w_3}\to \cdots \stackrel{w_n}\to q_n$

$\epsilon$ $\epsilon$

$\epsilon$

q_{0} \overset{ϵ}{\to} q_{1} \overset{ϵ}{\to} \dots \overset{ϵ}{\to} q_{n}

$q_0 \stackrel\epsilon\to q_1 \stackrel\epsilon\to \cdots \stackrel\epsilon\to q_n$

q_{0}

$q_0$

q_{n}

$q_n$

ϵ

$\epsilon$

n = 0

$n = 0$

— ユヴァルフィルムス
ソース

ϵ

$\epsilon$

q 1 \to q 1

$q1 \rightarrow q1$

q 1 \to q 3

$q1 \rightarrow q3$

q 1 \to q 1

$q1 \rightarrow q1$

ϵ

$\epsilon$

はい、いい説明です。

— Yuval Filmus