Automi finiti non deterministici | Esempio Sipser 1.16

Sto lavorando attraverso il Sipser Book (2a edizione) e mi sono imbattuto in questo esempio, che non capisco. Nel libro si afferma che questo NFA accetta la stringa vuota, $\epsilon$ .

Qualcuno potrebbe farmi capire perché questo è il caso?

La mia comprensione è che $\epsilon$ passerà a $q_3$ che non è uno stato di accettazione.

regular-languages finite-automata nondeterminism

— Leopardo convesso
fonte

ϵ

$\epsilon$

Grazie per i collegamenti completi - penso di averlo capito ora.

— 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$

$q_0$
$q_n$
$q_{i-1} \stackrel{w_i}\to q_i$
$w = w_1 \ldots w_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$

— Yuval Filmus
fonte

ϵ

$\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$

Sì, è una bella descrizione.

— Yuval Filmus,