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


12

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

resim açıklamasını buraya girin

Beni şey q 0'da ϵ sıçrama .ϵq0

  • Bir Eğer girilirse, hem sistem hareket yapar q 0 ve q 1 (devlet kabul)?0q0 q1

  • Bir ederse girilirse, hem sistem hareket yapar q 1 ve q 2 ?1q1q2

  • Herhangi bir girdi verilmemişse (boş dize) sistem yalnızca (kabul durumu) geçiyor mu?q1


2
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:


10

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

Eğer dize ise otomatınız q 0 ve q ile biter 1ϵq0q1

Dizeniz '0' ise, yine ve q'da olacaktır 1q0q1

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

Senin otomata kabul ettiğini Sadece bu durumlarda bakarak onun kolay görmek için , 0 * ve giden q 0 ile q 1 , reach tek yolu q 2 ise 0 * 11 * 1 , bu nedenle, bu şekilde otomatayı devam £ değerinin , 0 , 0 11 1ϵ0q0q1q20111ϵ00111

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


7
"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


@Raphael Sizce daha yararlı bir sezgi ne olurdu?
Andrey Portnoy

6

q0q0q1q1

q00q0q10q01q21q1q11

0+011101


ϵϵ


-1

Bu NFA için DFA oluşturmayı denedim

Q

σ(Q×(ϵ))P(Q)

q0=q0

FQ,F={q0}

M

alfabe - aynı

Q=P(Q)

RP(Q)

E(R)ϵrR

σ(R,a)=rRE(σ(r,a))

q0=E({q0})

F=P(Q)÷F

Bu FSM ile ilgili bazı hesaplamalar

1. ϵq0=E({q0})={q0,q1}q1ϵ

2. 0σ({q0,q1},0)=E(σ(q0,0))E(σ(q1,0))={q0,q1}{}={q0,q1}0

{ϵ,0}L(M)

David Richerby'e teşekkürler


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

ϵ{q0,q1}00{q0,q1}
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.