«automata» etiketlenmiş sorular

Yani iki DFA verildiğinde, aynı dili üretebilirlerse bulma sorunu Karar Verilebilir bir problem midir? İki CFL Eşitliğinin Karar Verilemez olduğunu zaten biliyorum Peki ya iki DFA'nın Eşitliği? DFA'larla ilgili sorunların çoğunun karar verilebilir olduğu düşünüldüğünde, bu da karar verilebilir mi?

12 computability  automata  finite-automata  decision-problem 

Merak ediyorum, 2 yönlü DFA'lar için boşluk belirlemenin zaman karmaşıklığı nedir? Yani, salt okunur giriş bantlarında geriye doğru hareket edebilen sonlu otomatalardır. Wikipedia'ya göre, DFA'lara eşdeğerdir, ancak eşdeğer DFA katlanarak daha büyük olabilir. Tamamlayıcıları ve kavşakları için devlet karmaşıklığı buldum, ancak boşluk testleri için değil. Bunu bulabileceğim bir kağıt bilen …

12 complexity-theory  formal-languages  reference-request  automata  finite-automata 

Değilse, bazı durum ve bazı sembol , mevcut değilse ne anlama gelir ?qqqδ ( q , a )biraaδ( q, a )δ(q,a)\delta(q, a)

12 terminology  automata  finite-automata 

Merak ediyordum ki, kendisi yıldızsız bir dil olduğundan, yıldızsız bir dil olmayan normal bir dil var mı? Bir örnek verebilir misiniz?bir*bir*a^* (dan wikipdia ) Lawson yıldızı içermeyen dilleri olarak tanımlar: Normal bir dilin, alfabenin harflerinden, boş küme sembolünden, tamamlama da dahil olmak üzere tüm boole işleçlerinden ve birleştirme, ancak Kleene …

12 formal-languages  regular-languages  automata 

Bu aptalca bir soru olabilir. Bir FSA'nın sınırlı olduğu için giriş dizisindeki sembol sayısını yalnızca durum sayısıyla sınırlanmış bir sayıya kadar sayabileceği açıktır. Ancak şimdi FSA'yı çıktı (örneğin yazdırma) yetenekleriyle donattığımızı varsayalım. Bu durumda, okuduğu her sembol için bir sembol yazdırabilen bir makine inşa etmek çok kolay olacaktır. Bu sayım …

11 automata  finite-automata 

Bana verilen çift harfler (aa, bb) veya çift harfler (aa, bb) ile biten ile başlayan tüm girdileri kabul eden bir DFA, yapma basit bir sorun var Σ = { a , b }Σ={a,b}\Sigma =\{a, b\} Verilen dilin alfabesi setini edilir. Bunu dolambaçlı bir şekilde çözmeye çalıştım: Düzenli bir ifade oluşturma …

11 automata  finite-automata 

İş yerinde dinamik bir dil hakkında bazı tür bilgiler çıkarmakla görevlendirildim. letİfade dizilerini iç içe ifadelere yeniden yazar , şöyle: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

Brzozowski'nin algoritması Moore otomata genişletilebilir, ancak zaman karmaşıklığı genel olarak üsteldir. Moore otomata'nın minimize edilmesi için başka bir algoritma var mı? Varsa bu algoritmaların çalışma süreleri nelerdir?

11 reference-request  automata  optimization  finite-automata  transducers 

Verilen iki takım alfabenin üzerinde dizeleri , biz (DFA) en küçük deterministik sonlu durum Otomaton hesaplayabilir öyle ki ve ?A,BA,BA,BΣΣ\SigmaMMMA⊆L(M)A⊆L(M)A \subseteq L(M)L(M)⊆Σ∗∖BL(M)⊆Σ∗∖BL(M) \subseteq \Sigma^*\setminus B Başka bir deyişle, bir dizi olumlu örneği temsil eder. her dizenin DFA tarafından kabul edilmesi gerekir. , bir dizi negatif örneği temsil eder. hiçbir dize …

11 regular-languages  automata  finite-automata  machine-learning 

Bir ders kitabında çok çalışıyorum ve nasıl ilerleyeceğimi anlayamıyorum. İşte sorun. Diyelim ki L = { a i b j : i ≤ j γ , i ≥ 0 , j ≥ 1 }.L={aibj:i≤jγ,i≥0,j≥1}L = \{a^ib^j: i \leq j \gamma, i\geq 0, j\geq 1\} Burada γγ\gamma bir miktar irrasyonel sayıdır. …

10 formal-languages  automata  context-free 

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 

HTML5 + CSS'nin Turing Complete olduğunu "kanıtladığını" iddia eden web siteleri gördüm. SQL "Turing Complete olduğunu kanıtlamak" iddia web siteleri gördüm. Turing Complete olmanın ne anlama geldiğini "açıklamayı" iddia eden bir grup web sitesi gördüm. Yeter! "Hesaplanabilirlik teorisinde bir uzman tarafından yazılmış) veya haklı bir makaleyi (saygın bir dergide) nerede" …

10 computability  turing-machines  automata  turing-completeness  church-turing-thesis 

Teorik Bilgisayar Bilimi alanında bir ana dal arıyorum; özellikle karmaşıklık teorisi ve olasılıklı otomata teorisi ile ilgileniyorum. Bir yıl içinde mezun olduğum için, matematikte hangi gelişmiş dersleri (örneğin Galois teorisi veya Harmonik analizi gibi) önümüzdeki iki yarıyılda üstlenmenin yararlı olacağını düşünüyorsunuz? Neden?

10 complexity-theory  automata  education 

Yığın otomatlarını araştırmamız bağlamında, belirli bir varyantın bağlama duyarlı olmayan dilleri kabul edemediğini kanıtlamak istiyorum. Eşdeğer bir gramer modelimiz olmadığından, yalnızca otomata kullanan bir ispata ihtiyacım var; bu nedenle, yığın otomatalarının LBA'lar (veya eşdeğer bir model) tarafından simüle edilebileceğini göstermeliyim . Delil otomatik verilerinin bağlama duyarlı dilleri bir alt kümeyi …

10 automata  pushdown-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