«finite-automata» etiketlenmiş sorular

Ya da en azından bir NFA'nın kabul ettiği bir dizi dizi oluşturun, böylece onu diğer NFA'ya besleyebilirim. NFA'nın her yolunda arama yaparsam, bu işe yarar mı? Her ne kadar bu uzun zaman alacaktır.

10 algorithms  regular-languages  finite-automata 

Birlikte eğlenmeyi edildi tarihinde bloklu en Labirent demo ve bir labirent çözmek istiyorsanız, sadece duvara sol elini tutmak Eski kuralı hatırladı. Bu, basit bağlı herhangi bir labirent için çalışır ve sonlu bir dönüştürücü tarafından uygulanabilir. Robotumuzun aşağıdaki eylemler ve gözlemlenebilir bir dönüştürücü ile temsil edilmesine izin verin: Eylemler: ileri git …

10 automata  finite-automata  artificial-intelligence 

Soru hemen hemen başlıkta. Bazı dilinin durumları olan minimal bir DFA tarafından kabul edilebildiği bir zaman var mı , ancak nin ters çevrilmesi olan , durumları olan bir DFA tarafından kabul edilebilir , burada ?LLLnnnLRLRL^RLLLmmmm&lt;nm&lt;nm<n

10 formal-languages  reference-request  automata  finite-automata 

Eşdeğer NFA'nın durumuna sahip olduğu durumuna sahip bir DFA örneğini nasıl oluşturabilirim . Açıkçası DFA devlet kümesi NFA devlet kümesinin tüm alt kümeleri içermelidir, ancak nasıl başlayacağımı bilmiyorum. Beni doğru yola sokmak için bir öneriniz var mı?2n2n2^nnnn

10 automata  finite-automata 

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 

Bunu söyleyen bir teorem var: Sahip bir sonlu durum Otomaton Verilen bir dize mevcutsa, devletler kolunun uzunluğu tatmin o zaman otomat tarafından kabul edilen dil sınırsızdır.nnnwwwn ≤ | w | ≤ 2 n - 1n≤|w|≤2n-1n \leq |w| \leq 2n-1 Kısıtlamayı anlıyorum , ama neden kısıtlama orada.| w | ≥n|w|≥n|w| \geq …

9 automata  finite-automata 

DFA, NFA ve epsilon NFA her üçü de belirli bir normal dili temsil etmemizi sağlar. Bu temsillerden herhangi biriyle aynı düzenli ifadeye ulaşabiliriz, o zaman neden sonlu otomatanın üç temsil biçimini de incelememiz gerekiyor? NFA'nın hangi DFA'nın yapamayacağı konusunda bazı açıklamalar olabilir, yani NFA belirsizliklerin tasarlanmasında bize yardımcı olabilir. Örneğin …

9 automata  finite-automata  education 

bölünebilen ikili sayıları kabul ederek DFA oluşturabiliriz .nnn Örneğin, 2'ye bölünebilen ikili sayıları kabul eden DFA aşağıdaki gibi oluşturulabilir: Benzer şekilde 3 ile bölünebilen ikili sayıları kabul eden DFA aşağıdaki gibi oluşturulabilir: Bu DFA türlerini oluşturmak için iyi tanımlanmış bir prosedürü takip edebiliriz. Bununla birlikte, biçiminin sayılarını kabul eden DFA'ları …

9 regular-languages  automata  finite-automata  regular-expressions 

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 

Bir lisans sınıfından sonlu bantlı bir Turing Makinesi için her zaman karşılık gelen bir Sonlu Durum Otomatı bulunacağını hatırlıyorum, ancak bunun internette herhangi bir yerde doğrulandığını bulamadım. Aslında durum bu mu yoksa yanlış mı hatırlıyorum?

9 turing-machines  finite-automata 

Onlarda bir DFA azaltma algoritması test etmek için rasgele DFA üretiyorum. Şu anda kullandığım algoritma aşağıdaki gibidir: her durum , alfabesindeki her sembol için, rastgele bir duruma ekleyin . Her devletin nihai devlet olma olasılığı aynıdır.qqqcccδ(q,c)δ(q,c)\delta (q, c) Bu tarafsız DFA üretmenin iyi bir yöntemi midir? Ayrıca, bu algoritma bir …

9 algorithms  finite-automata  randomness  pseudo-random-generators  random-graphs 

Geçenlerde Math SE hakkında bir soru sordum . Henüz yanıt yok. Bu soru bu soru ile ilgilidir, ancak bilgisayar bilimine yönelik daha teknik detaylar. Verilen iki DFA'ler ve burada durumları kümesi, giriş alfabesi ve geçiş fonksiyonu ve aynıdır, başlangıç ​​durumları ve nihai (kabul eden) durumlar farklı olabilir. ve sırasıyla ve …

9 formal-languages  reference-request  finite-automata 

Bir sonraki egzersizi çözmeye takılıp kaldım: Eğer iddia LLL bağlam içermez ve R,RR düzenli, o zaman L / R = { w ∣ ∃ x ∈ Rstw x ∈ L }L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in L\} (yani doğru bölüm ) bağlam …

9 formal-languages  context-free  finite-automata  closure-properties  pushdown-automata 

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