«dfa» etiketlenmiş sorular

Eğlenmek için Hesaplama Teorisini revize ettim ve bu soru bir süredir beni rahatsız ediyor (lisansımdaki Automata Teorisini öğrendiğimde hiç düşünmemiştim). Öyleyse “neden” tam olarak deterministik ve deterministik olmayan sonlu otomataları (DFA / NFA) inceliyoruz? İşte bu nedenle, çözme işleminden sonra elde ettiğim bazı cevaplar var ancak yine de 'aha' anına …

247 fl.formal-languages  automata-theory  big-picture  teaching  dfa 

Deterministik sonlu durum otomatlarını (DFA) undergrad'da okuduktan sonra çok iyi anlaşıldığını hissettim. Benim sorum, onlar hakkında hala anlamadığımız bir şey olup olmadığı. DFA'ların genelleştirilmesinden bahsetmiyorum, fakat orjinalinde incelediğimiz orijinal değiştirilmemiş DFA'lar. Bu belirsiz bir soru ama umarım fikri anlarsın. DFA'ları tamamen anladığımızı söylemenin adil olup olmadığını anlamak istiyorum. Bu yüzden, …

59 soft-question  open-problem  dfa 

İki (en az) DFA'nın n durumuyla kesişimi, O (n 2 ) zaman ve boşluk kullanılarak hesaplanabilir . Bu, genel olarak optimaldir, çünkü elde edilen (minimum) DFA, n 2 durumuna sahip olabilir . Bununla birlikte, elde edilen minimal DFA z durumları varsa, z = O (n) olduğu takdirde , bazı sabit …

25 automata-theory  dfa 

İki ve x dizeleri verildiğinde, x'i kabul eden ve y'yi reddeden minimum bir boyut DFA oluşturmak istiyorum. Bunu yapmanın bir yolu kaba kuvvet arama. DFA'ları en küçükten başlayarak numaralandırıyorsunuz. Her DFA'yı, x'i kabul eden ve y'yi reddeden birini bulana kadar denersiniz. X'i kabul eden ve y'yi reddeden minimum boyutta bir …

23 automata-theory  dfa  fsm 

Sabit bir sonlu alfabe için , resmi bir dil L üzerinde Σ olan düzenli bir mevcutsa deterministik sonlu durum makinesi üzerinde (DFA) Σ tam kabul L .ΣΣ\SigmaLLLΣΣ\SigmaΣΣ\SigmaLLL "Neredeyse" düzenli olan, yalnızca kelime uzunluğuyla polinomlu bir şekilde büyüyen otomata aileleri tarafından tanınabilecekleri anlamında olan dillerle ilgileniyorum. Resmen beni biçimsel dil diyelim …

23 reference-request  fl.formal-languages  automata-theory  online-algorithms  dfa 

Soru basit ve doğrudan: Sabit bir , boyutunda bir DFA (yani eyaletleri) tarafından kaç (farklı) dil kabul edilir ? Ben resmen bunu bildirecektir:n nnnnnnnnnn DFA'yı olarak tanımlayın , burada her şey her zamanki gibi ve (muhtemelen kısmi) bir işlevdir. Bunu belirlemek zorundayız çünkü bazen sadece toplam fonksiyonlar geçerli sayılır.δ : …

19 co.combinatorics  fl.formal-languages  automata-theory  regular-language  dfa 

Hesaplanabilir bir sayının rasyonel veya tamsayı olup olmadığını algoritmik olarak test etmek mümkün müdür? Başka bir deyişle, uygular hesaplanabilir sayılar işlevleri sağlamak için bir kütüphane için mümkün olacağını isIntegerya isRational? Bunun mümkün olmadığını ve bunun bir şekilde iki sayının eşit olup olmadığını test etmenin mümkün olmadığı gerçeğiyle ilgili olduğunu tahmin …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Orada teorik kanıtlar DFAs kesiştiği için naif kartezyen ürünlü inşaat "Yapabileceğimiz en iyi" olduğunu söyledi. İki DFA'nın birleştirilmesine ne dersiniz? Önemsiz yapı, her DFA'nın bir NFA'ya dönüştürülmesini, bir epsilon-geçişinin eklenmesini ve ortaya çıkan NFA'nın belirlenmesini içerir. Daha iyisini yapabilir miyiz? Minimum birleştirme DFA'sının boyutunda bilinen bir sınır var mıdır ("önek" …

16 cc.complexity-theory  fl.formal-languages  automata-theory  dfa 

Yirmi yıl önce, düzenli ifadelerden sonlu durum makinesine (DFA) dönüşümleri içeren düzenli bir ifade paketi oluşturdum ve bir dizi kapalı düzenli ifade işlemini (Kleene yıldızı, birleştirme, ters, ayarlama işlemleri, vb.) Destekledim. Paketimin en kötü durum performansından emin değildim. Bir DFA, bir NDFA ile aynı ifade gücüne sahiptir, çünkü n durumlu …

16 dfa  regular-expressions  bounds 

Arka fon: İki deterministik sonlu otomata A ve B verildiğinde, C'deki durumların A'daki durumların ve B'deki durumların kartezyen ürünü olmasını sağlayarak C ürününü oluştururuz. Sonra, geçişleri, başlangıç ​​durumunu ve son durumları seçeriz, böylece dil tarafından kabul edilir C, A ve B dillerinin kesişimidir. Sorular: (1) A'yı bulmak için C'yi B'ye …

15 fl.formal-languages  automata-theory  dfa 

DFA'lar hakkında listelenen ilginç açık sorunlardan biri DFA'lar hakkında açık sorun var mı? uzunluğundaki iki dizeyi ayırmak için gereken bir DFA boyutudur . Rastgele bir DFA'nın verilen (rasgele olmayan) dizeleri ayırma yeteneği hakkında herhangi bir sonuç olup olmadığını merak ediyorum.nnn Açıkça yeterli sayıda duruma sahip rastgele bir DFA, yüksek olasılıkla …

15 dfa  random-graphs 

Dilin spesifikasyonu olarak bir DFA'mız olsa bile , normal bir ifadenin boyutunu en aza indirmenin PSPACE-complete olduğu bilinmektedir . Dil sonluysa sonuçlar nelerdir? Bu problem iki modelde düşünülebilir: Giriş, dildeki tüm dizelerdir ve giriş boyutunu tüm dizelerin uzunluğunun toplamı ile ölçeriz. Giriş bir DFA'dır ve giriş boyutunu DFA'nın durum sayısına …

15 cc.complexity-theory  reference-request  fl.formal-languages  regular-expressions  dfa 

Belirsiz olmayan sonlu otomatım var ve onu DFA'ya dönüştürmem gerekiyor. Büyük olarak 40 000+ eyalet demek istiyorum. Şimdiye kadar bazı deneyler yaptım ve tablodan ( burada açıklandığı gibi ) arama yapan varsayılan algoritmayı programladım , ancak optimizasyondan sonra bile oldukça yavaş ve çok bellek tüketiyor. Devlet sayısının katlanarak artabileceğinin farkındayım, …

12 dfa 

Bu sorudan ilham alarak aşağıdakileri merak ediyorum: Belirli bir DFA'nın belirli bir düzenli ifadeyle aynı dili kabul edip etmediğini kontrol etmenin en kötü durumu karmaşıklığı nedir? Bu biliniyor mu? Umut, bu sorunun P'de olması - her ikisinin büyüklüğünde bir polinom algoritması olmasıdır.

12 automata-theory  lg.learning  regular-expressions  dfa 

Tüm ders kitaplarım, regex verilen bir DFA üretmek için aynı algoritmayı kullanıyor: İlk olarak, regex'in dilini tanıyan bir NFA yapın, ardından alt küme ("powerset" olarak da bilinir) yapısını kullanarak NFA'yı eşdeğer bir DFA'ya dönüştürün ( isteğe bağlı olarak DFA'nın en aza indirilmesi). Bir keresinde bir profesörün başka algoritmalar olduğunu ima …

11 automata-theory  regular-expressions  dfa