«finite-automata» etiketlenmiş sorular

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 

Sonlu olan bilgisayarlarımızın sonuçta (olağanüstü büyük) Sonlu Durum Makinelerinden daha güçlü olmadığı izlenimindeydim. Bununla birlikte, Doğrusal Sınırlı Turing Makineleri de sonludur, ancak Normal Diller kesinlikle Bağlam Duyarlı Dillerin uygunsuz bir alt kümesidir. Açıkçası burada bir şey eksik. Ne oluyor?

11 finite-automata  computation-models  linear-bounded-automata 

Deterministik sonlu otomatayı (DFA'lar) en aza indirmek, literatürde kapsamlı bir şekilde incelenen bir sorundur ve aşağıdaki sorunu çözmek için birkaç algoritma önerilmiştir: Bir DFA , aynı dili kabul eden karşılık gelen bir minimum DFA hesaplayın . Bu algoritmaların çoğu polinom zamanında çalışır.AA\mathscr{A}AA\mathscr{A} Ancak, merak ediyorum bu sorunun karar varyantı - …

11 algorithms  formal-languages  finite-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 

Doğru anlarsam, NFA normal ifadelerle aynı ifade gücüne sahiptir. Genellikle, NFA'dan eşdeğer düzenli ifadeleri okumak kolaydır: döngüleri yıldızlara, kavşaklara alternatif olarak çevirirsiniz. Ancak bu durumda ne yapmalı: [ kaynak ] Çakışan döngüler bu otomatiğin neyi kabul ettiğini görmeyi zorlaştırır (normal ifadeler açısından). Bir hile var mı?

11 algorithms  formal-languages  finite-automata  regular-expressions 

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 

Sonlu durum makinesini her zamanki gibi düşünün, ancak her geçişte, bir sayı ekleyerek veya çıkararak bir tam sayı sayacını da güncelleyebilir. Diyelim ki, formunun bir geçiş fonksiyonu yeni p durumuna geçer ve sayaca k ekleyin , burada k ∈ Z (böylece k pozitif, negatif veya sıfır olabilir) .δ(q,a)=(p,k)δ(q,a)=(p,k)\delta(q,a) = (p,k)pppkkkk∈Zk∈Zk …

10 finite-automata 

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 

Giriş kelimesinin DFA'sı ve çalışma zamanı tarafından oluşturulmuş Levenshtein Automata ile bulanık ayrıştırma yapmanın bir yolu vardır (belirli bir düzenleme mesafesine yazım hatalarıyla bile dizeleri kabul eder). Bir Earley ayrıştırıcıyla benzer bir şey yapılabilir mi? Bu soruyu cevaplamak yerine algoritmayı anlamakta zorlanıyorum.

10 algorithms  context-free  finite-automata  parsers  string-metrics 

Belirli bir metin dizesi ve tüm alt dizeleri kabul eden bir döngüsel sonlu durum otomatı üreten bir desen eşleme algoritması ile çalışıyorum. FSA algoritması bir müzik akışının sembolik bir temsili üzerinde yürütülmektedir (örneğin, MIDI verileri). Müzik akışı, her şarkıyı etiketlenmemiş 'bölümlere' bölmek için önceden işlenmiştir. Her şarkıdaki her bölüm için …

10 formal-languages  reference-request  finite-automata 

Yalnızca üç durumu olan herhangi bir DFA tarafından kabul edilemeyen normal bir dili tanımlayın. Bunun nereden başlayacağından gerçekten emin değilim ve birinin bana bazı ipuçları veya tavsiyeler verebileceğini merak ediyordum. Pompalama lemmasının bir dilin düzenli olmadığını kanıtlamak için kullanılabileceğini anlıyorum, ancak bu durumda normal bir dil olmalıdır. Herhangi bir düşüncesi …

10 formal-languages  regular-languages  finite-automata  pumping-lemma