Bir NFA epsilon geçişlerini nasıl kullanır?

Aşağıdaki resimde, bu NFA'nın tam olarak neyi kabul ettiğini anlamaya çalışıyorum.

Beni şey sıçrama . $\epsilon$ $q_0$

Bir Eğer girilirse, hem sistem hareket yapar ve (devlet kabul)? $0$ $q_0$ $q_1$
Bir ederse girilirse, hem sistem hareket yapar ve ? $1$ $q_1$ $q_2$
Herhangi bir girdi verilmemişse (boş dize) sistem yalnızca (kabul durumu) geçiyor mu? $q_1$

automata finite-automata nondeterminism

— user3472798
kaynak

Tanımlara geri dönün: NFA, üzerinde herhangi bir hesaplama kabul ederse bir kelimeyi kabul eder. NFA'lar, kendi başına, DFA anlamında "algoritmalar" değildir.

— Raphael

Yanıtlar:

geçişi olan bir durumda olduğunuzda , bunu size basitleştirmek için otomatik olarak İKİ durumda olduğunuz anlamına gelir: $\epsilon$

Eğer dize ise otomatınız ve biter $\epsilon$ $q_0$ $q_1$

Dizeniz '0' ise, yine ve $q_0$ $q_1$

Dizeniz '1' ise, yalnızca , çünkü noktasından bakarsanız, '1' geçişiniz vardır , ancak aynı zamanda içerisinde (bu olsaydı , her zaman edildi o zaman '1' geçiş Bu alternatif bir yol, böylece yalnızca "kalıplar", orada da). $q_2$ $q_0$ $q_2$ $q_1$ $q_0$ $q_1$

Senin otomata kabul ettiğini Sadece bu durumlarda bakarak onun kolay görmek için , ve giden ile , reach tek yolu ise , bu nedenle, bu şekilde otomatayı devam , , $\epsilon$ $0^*$ $q_0$ $q_1$ $q_2$ $0^*11^*1$ $\epsilon$ $0^*$ $0^*11^*1$

Umarım bu size yardımcı olmuştur, başka şüpheleriniz varsa, sormanız yeter!

— H_DANILO
kaynak

"Bu otomatik olarak İKİ devlet olduğu anlamına gelir" - Bunun yararlı bir sezgi olduğunu düşünmüyorum, yani determinizmi yanlış bir şekilde temsil ediyor.

— Raphael

Neden yanlış temsil ediyor? Peki, determinizm üzerindeki deltanın tanımıyla, sadece 1 yerine bir durum kümesi elde edersiniz? Bu sadece her iki eyalette olduğunuz anlamına gelebilir.

— H_DANILO

Deterministik olmayan makinelerin "tüm çözümleri paralel olarak deneyin" fikrini teşvik eder. Algoritmik olarak konuşulan şey bu değildir. Belirsizlik, algoritmik bir teknik değil, tanımlayıcı bir formalizmdir.

— Raphael

— Belirsizliğin

@Raphael Sizce daha yararlı bir sezgi ne olurdu?

— Andrey Portnoy

$q_0$ $q_0$ $q_1$ $q_1$

$q_0$ $0$ $q_0$ $q_1$ $0$ $q_0$ $1$ $q_2$ $1$ $q_1$ $q_1$ $1$

$0^*+0^*11^*1$ $0$ $1$

$\epsilon$ $\epsilon$

— Rick Decker
kaynak

-1

Bu NFA için DFA oluşturmayı denedim

$\sum$

$Q$

$\sigma(Q\times (\sum \cup {\epsilon} )) \to P(Q)$

$q_0 = q_0$

$F \subseteq Q, F = \{q_0\}$

$M'$

alfabe - aynı

$Q' = P(Q)$

$R \in P(Q)$

$E(R)$ $\epsilon$ $r \in R$

$\sigma'(R,a) = \bigcup_{r \in R} E(\sigma(r,a))$

$q'_{0} = E(\{q_0\})$

$F' = P(Q) \div F$

Bu FSM ile ilgili bazı hesaplamalar

$1.$ $\epsilon$ $q'_{0} = E(\{q0\}) = \{q_0, q_1\}$ $q_1$ $\epsilon$

$2.$ $0*$ $\sigma'(\{q_0, q_1\}, 0) = E(\sigma(q_0,0)) \cup E(\sigma(q_1,0)) = \{q_0, q_1\} \cup \{ \} = \{q_0, q_1\}$ $0*$

$\{\epsilon, 0* \} \subset L (M')$

David Richerby'e teşekkürler

— OrangeFish
kaynak

Bana teşekkür ettiğin için teşekkür ederim ama bunun soruyu nasıl cevapladığını gerçekten göremiyorum. Makinenin hangi dili kabul ettiğini belirlemediniz ve üç madde işaretli sorunun hiçbirini ele almadınız.

— David Richerby

ϵ

$\epsilon$

{q_{0}, q_{1}}

$\{q_0, q_1\}$

0

$0$

0 *

$0*$

{q_{0}, q_{1}}

$\{q_0, q_1\}$