«fl.formal-languages» etiketlenmiş sorular

Ana / Genel Soru Let LLL bir dil olmak. Dil tanımlama LiLiL_i ile ve için . düşünün . Bu yüzden, \ hat {L} elde etmek için yi tekrar tekrar kendi içine "gömdük" .L0=LL0=LL_0 = LLi={xwy:xy∈Li−1,w∈L}Li={xwy:xy∈Li−1,w∈L}L_i = \{xwy : xy \in L_{i-1}, w \in L\}L = ⋃ L ı L Li≥1i≥1i …

19 reference-request  fl.formal-languages 

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 

JSON spesifikasyonunun normal bir dil tanımlayıp tanımlamadığını merak ediyordum . Yeterince basit görünüyor, ama kendimi nasıl kanıtlayacağımdan emin değilim. Sormamın nedeni, JSON'u etkili bir şekilde pars yapmak için düzenli ifadeler kullanıp kullanamayacağını merak etmemdi. Yeterli temsilcisi olan biri benim için json ve normal dil etiketlerini oluşturabilir mi?

19 fl.formal-languages  regular-expressions  regular-language 

Sorunun iyi bilinen bir sonuç olduğu Bağlamdan bağımsız bir dilbilgisi normal bir dil oluşturur mu? kararsız. Ancak, bu durumda, bağlamsız ve düzenli dil sınıfları çakıştığından, tek bir alfabe üzerinde karar verilebilir hale gelir. Benim sorum tek tek bağlama duyarlı diller için neler olduğunu bilmek . Tekli bir alfabe üzerinde belirli …

18 fl.formal-languages  decidability 

Belirli bir problemi çözmeye çalışıyorum ve otomata teorisini kullanarak çözebileceğimi düşündüm. Merak ediyorum, hangi otomata modellerinin polinom zamanında kararlaştırılabilir olduğunu var? yani makineleriniz varsa etkin bir şekilde olup olmadığını test edebilirsiniz .M1,M2M1,M2M_1, M_2L(M1)⊆L(M2)L(M1)⊆L(M2)L(M_1) \subseteq L(M_2) Akla gelen en belirgin olanlar, sayaç sayısının sabit olduğu DFA'lar ve tersine çevrilmiş sayaç makineleridir …

18 fl.formal-languages  automata-theory  time-complexity  polynomial-time  decidability 

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 

zamanında bağlamsız bir dilbilgisini ayrıştırabilen çok sayıda algoritma vardır . Matris çarpımını kullanarak, asimptotik olarak bundan daha hızlı gidebilir.O(n3)O(n3)O(n^3) Ancak, bildiğim keyfi CFG'leri ayrıştırmak için tüm algoritmalar en kötü durum alan kullanımına sahiptir (ancak, itiraf etmek gerekirse, bu matris çarpma algoritmasının alan kullanımının ne olduğu hakkında hiçbir fikrim yok). Bu …

18 ds.algorithms  fl.formal-languages  space-bounded  parsing  context-free 

Bu, gramer programlarının yeniden düzenlenmesi midir? önceki Vag tarafından sordu ve yorumculardan birçok öneri ile. Bir dilbilgisi bir hesaplama modelini ne şekilde tanımlayabilir? Örneğin, aşağıdaki gibi bağlam içermeyen basit bir dilbilgisi alırsak, G ::= '1' -> '0' '+' '1' '1' -> '1' '+' '0' '2' -> '2' '+' '0' '2' …

18 fl.formal-languages  pl.programming-languages  grammars  universal-computation 

Brzozowski'nin türev yöntemi, düzenli ifadelerden güzel bir cebirsel olarak deterministik otomata oluşturmak için çok güzel bir tekniktir. Bazı daha büyük gramer sınıflarını işlemek için bu tekniğin bazı sevimli genellemelerini yaptım, ancak algoritmalar daha önce keşfedilmeleri oldukça mümkün görünüyor. Ancak bu tekniğin torunları için Google'a yapılan atıflar çok fazla görünmüyor. Bir …

18 reference-request  fl.formal-languages  parsing 

Bir kelime ağırlıkww olarak adlandırılır ilkel bir kelime varsa, hvv ve k > 1k>1k > 1 olacak şekilde ağırlık = v kw=vkw = v^k . Bir alfabe Σ üzerindeki tüm ilkel kelimelerin QQQ seti iyi bilinen bir dildir. WLOG seçebiliriz Σ = { a , b } .Σ\SigmaΣ={a,b}\Sigma = \{ …

17 fl.formal-languages 

2dca'lar (iki yönlü deterministik tek sayaç otomata) (Petersen, 1994) aşağıdaki tek dili tanıyabilir: POWER={02n∣n≥0}.POWER={02n∣n≥0}.\begin{equation} \mathtt{POWER} = \lbrace 0^{2^n} \mid n \geq 0 \rbrace. \end{equation} 2dca's tarafından tanınan başka önemsiz tek dil var mı? 2dca'ların tanıyıp tanımadığı hala bilinmemektedir ?SQUARE={0n2∣n≥0}SQUARE={0n2∣n≥0} \mathtt{SQUARE} = \lbrace 0^{n^2} \mid n \geq 0 \rbrace TANIM: 2dca, …

17 fl.formal-languages  automata-theory  counter-automata 

Yıllar önce, bir DFA'dan (deterministik) minimal NFA'nın (belirsiz olmayan sonlu otomatiğin) hesaplanmasının, on yıllardır bilinen ve verimli bir algoritma. Kimse bir algoritma buldu mu?O(nlgn )Ö(nlg⁡n)O(n \lg n) Hızlı bir araştırma bana kesinlikle zor bir sorun olduğunu kanıtlayan bu makaleyi verdi. Görünüşe göre hiçbir algoritma verilmiyor. [1] Minimal NFA problemleri zor …

17 ds.algorithms  reference-request  fl.formal-languages  automata-theory  optimization