«automata-theory» etiketlenmiş sorular

İ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 

Herhangi bir dil için üzerinde Σ * tanımlama, L 1 / 2 = { x ∈ Σ * : X , Y ∈ L , Y ∈ Σ | x | } . Bir deyişle, L 1 / 2 , tüm oluşur x bir var olduğu için y eşit uzunlukta …

24 fl.formal-languages  automata-theory 

Let NFA'ler tarafından verilen iki normal diller olmak girdi olarak.M 1 , M 2L1, L2L1,L2L_1,L_2M1, M2M1,M2M_1,M_2 olup olmadığını kontrol etmek istediğimizi varsayalım . Bu açıkça , ürün otomasyonunu hesaplayan ikinci dereceden bir algoritma ile yapılabilir , ancak daha verimli bir şey olup olmadığını merak ediyordum.M 1 , M 2L1∩ L2≠ …

23 ds.algorithms  automata-theory  regular-language  nondeterminism 

İ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 

Bir düzeltmek düzenli dil LLL bir alfabe üzerinde ΣΣ\Sigma ve ben dediğimiz şu sorunu dikkate mektup planlaması için LLL . Gayriresmi olarak, girdi bana nnn harfi ve her harf için bir aralık verir (yani minimum ve maksimum pozisyon) ve hedefim, her harfin aynı pozisyona eşlenmeyeceği şekilde, her harfi kendi aralığına …

23 cc.complexity-theory  np-hardness  automata-theory  regular-language  scheduling 

Aşağıdaki sorunun PSPACE-komple olduğu iyi bilinmektedir: Normal ifade verildiğinde , L ( β ) = Σ ∗ mı?ββ\betaL(β)=Σ∗L(β)=Σ∗L(\beta) = \Sigma^* Diğer (sabit) normal ifadeler denkliği belirlemeye ne dersiniz ?αα\alpha Normal ifade verildiğinde , L ( β ) = L ( α ) mı?ββ\betaL(β)=L(α)L(β)=L(α)L(\beta) = L(\alpha) Aşağıdaki bilinmektedir: İçin , sorun …

21 cc.complexity-theory  automata-theory  regular-expressions  pspace 

Düzenli diller için pompalama lemma , çalışılan dili tanır sonlu durum Otomaton dikkate devletlerin kendi sayısından daha büyük bir uzunluğa sahip bir dize toplama ve pigeonhole prensibini uygulayarak ispat edilebilir. Pompalama bağlam serbest diller için lemma (biraz daha geneldir yanı sıra Ogden lemma) Ancak, çalışılan dilin bir bağlam-dilbilgisi göz önünde …

21 fl.formal-languages  automata-theory  proofs  grammars 

Örneğin, programlama dillerinde bir X-in-X derleyici / yorumlayıcı yazmak yaygındır, ancak daha genel bir düzeyde Turing-complete sistemlerinin çoğu etkileyici yollarla taklit edebilir (örneğin, Conway'in Conway'in Hayat Oyunundaki Simülasyonu ). Yani sorum şu: Bir sistem Turing'in tamamlandığını kanıtlamak için kendini simüle edebiliyor mu? Kesinlikle gerekli bir durumdur.

20 computability  automata-theory  turing-machines 

Aşağıdaki "dairesel" dil sınıfını sonlu bir alfabe Sigma üzerinde tanımlayın. Aslında, isim zaten DNA hesaplama alanında kullanılan göründüğü farklı bir şeyi belirtmek için var. AFAICT, bu farklı bir dil sınıfı. Bir dil L tüm kelimeler için dairesel IFF olduğu www içinde Σ∗Σ∗\Sigma^* elimizde: www , yalnızca tamsayılarıiçin L'ye aitsek>0k>0k > …

20 fl.formal-languages  automata-theory  regular-language 

Aşağıdaki varsayımı kanıtlamak (veya çürütmek) istiyorum: Varsayım : Bir iki karşıt otomata (2CA) Aşağıdaki dilini karar veremez: L={n∣L={n∣L = \{ n \mid üçlü ve ikili gösterimler da uzunluk veya tek bir uzunlukta hem de sahip}nnn}}\} 2CA, ikili gösterimin eşit veya tek bir uzunluğa sahip olup olmadığını kolayca kontrol edebilir (sadece …

19 automata-theory 

Kısa bir süre önce Turing Makineleri hakkında "Turing Makinesi otomatlardan mı geliyor, yoksa tam tersi mi?" Cevabını bilmiyordum tabii, ama merak ediyorum. Turing Makinesi temel olarak Push-Down Automata'nın biraz daha sofistike bir versiyonudur. Bundan Turing Makinesi'nin otomatadan türetildiğini varsayıyorum, ancak kesin bir kanıtım veya açıklamam yok. Ben sadece yanlış olabilirim …

19 fl.formal-languages  computability  automata-theory  turing-machines  ho.history-overview 

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 

DFA'nın herhangi bir durumunu tek bir duruma gönderen bir dize varsa , bir DFA'nın eşitleme sözcüğü vardır. AN Trahtman'ın (Ayrık Matematik ve Teorik Bilgisayar Bilimi cilt 9: 2, 2007, s.3-10) 'Aperiodic Automata için Cerny Konjonktürü'nde, Cerny, 1964'te her n-durum senkronize edilebilir DFA'nın en fazla bir senkronize kelime uzunluğuna sahip olduğunu …

19 fl.formal-languages  automata-theory  open-problem  synchronization 

Perl veya .NET gibi düzenli ifadelerin modern uygulamalarının çoğu, ileri ve geriye bakış gibi özelliklere sahip klasik bilgisayar bilimi REGEXes tanımının ötesine geçer. Bu özellikler, sonlu, aşağı itilmeyen bir otomasyonla tanımlanamayan ifadeleri ayrıştırmaya izin veriyor mu? Turing'e ne kadar yakın olursa, bu onları mümkün kılar mı?

19 automata-theory  regular-expressions  fl.formal-languages