«nondeterminism» etiketlenmiş sorular

NFA'ları DFA'lara nasıl dönüştüreceğimizi öğreniyorum ve doğru yaptığımdan emin olmak istiyorum. Açıkçası, diğer yöne dönmek bir şey değil. Herkes bir DFA'nın bir NFA ile eşdeğer olduğunu kontrol etmek için bir algoritma biliyor mu?

10 automata  finite-automata  proof-techniques  nondeterminism 

Ders kitabım şöyle diyor: "İşlevi tanımlarız f: N → Nf:N→Nf\colon \mathbb{N}\to\mathbb{N} aşağıdaki gibi: f( 1 ) = 2f(1)=2f(1)=2 ve f( i + 1 ) =2f( ben)1.2f(i+1)=2f(i)1.2f(i+1)=2^{f(i)^{1.2}}. Verilen notnnn, kolayca bulabiliriz O (n1.5)O(n1.5)O(n^{1.5}) zaman numarası benii öyle ki nnn arasında sandviç f( i )f(i)f(i) ve f( i + 1 )f(i+1)f(i+1)." Kendimi …

10 complexity-theory  algorithm-analysis  nondeterminism 

Sipser Kitabı (2. baskı) üzerinde çalışıyorum ve anlamadığım bu örnekle karşılaştım. Kitapta bu NFA'nın boş dizeyi kabul ettiğini belirtir .ϵϵ\epsilon Biri beni neden bu şekilde idare edebilir? Anladığım kadarıyla , kabul etme durumu olmayan .ϵϵ\epsilonq3q3q_3

9 regular-languages  finite-automata  nondeterminism 

Girdi dizesi olarak . Daha sonra NFA durum şu anda ise (alfabe kadar giriş okumak sahip ) daha sonra iki NFA içine NFA bölmelerini sonraki giriş sembolü okumadan önce, durum içinde bir varlık ve diğer varlık , bir geçiş olup olmadığını türü . Türü bir döngü var ise , NFA …

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism 

Hopcroft ve Ullman kitabını kullanarak deterministik olmayan otomata çalışmaya başladım . Çok ilginç bulduğum bir probleme takıldım: Aşağıdaki tabloya göre çarpılarak soldan sağa sağdan sola değerlendirildiğinde aynı değere sahip tüm dizeleri kabul eden deterministik olmayan bir sonlu otomat verin: ×abcaacbbaacccba×abcaaacbcabcbca\qquad \displaystyle\begin{array}{c|ccc} \times & a & b & c \\ \hline …

9 formal-languages  automata  regular-languages  finite-automata  nondeterminism