«regular-language» etiketlenmiş sorular

Çok etkili kitapları Automata, Languages ​​and Machines (Cilt A, B) 'nin önsözünde, Samuel Eilenberg, rasyonel olmayan ilişkileri kullanarak rasyonel ilişkileri kullanan "hiyerarşi (rasyonel hiyerarşi olarak adlandırılır) ile ilgilenen C ve D Ciltlerini titizlikle vaat etti. Karşılaştırma için bir araç. Rasyonel kümeler bu hiyerarşinin en altındadır. Yukarı doğru hareket etmek, "cebirsel …

31 soft-question  fl.formal-languages  automata-theory  regular-language  context-free 

Neden normal diller (ve bu normal ifadelerden) "normal" olarak adlandırılıyor? Bağlamsız dillerde, diğer dil türlerinde de çok fazla düzenlilik vardır . Sanırım, başlangıçta, "normal" sıfatının, bu tür dilleri "normal olmayan" veya bir şekilde anormal dillerden ayırt etmek için kullanıldığını farz ediyorum. Eğer öyleyse, bu diğer türlerin neresi ve düzensizlikleri neydi?

27 regular-expressions  regular-language  ho.history-overview 

Düzenli bir ağaç dilini TATA kitabındaki gibi tanımlarız : Belirsiz bir sonlu ağaç otomatiği (Bölüm 1) veya eşdeğerde normal bir ağaç dilbilgisi (Bölüm 2) tarafından üretilen ağaçlar kümesi tarafından kabul edilen ağaçlar kümesidir. Her iki formalizm, iyi bilinen dize analoglarına yakın benzerlikler taşımaktadır. Düzenli ağaç dil var mı hangi boyutta …

26 co.combinatorics  fl.formal-languages  tree  regular-language 

Düzenli bir dil verildiğinde (NFA, DFA, dilbilgisi veya regex), belirli bir dilde sözcükleri kabul etme sayısı nasıl sayılabilir? Hem "tam olarak n harfi ile" hem de "en fazla n harfi ile" her ikisi de ilgi çekicidir. Margareta Ackerman'ın , bir NFA tarafından kabul edilen kelimelerin sıralanmasıyla ilgili iki makalesi var, …

26 ds.algorithms  co.combinatorics  fl.formal-languages  regular-language 

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 

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 

alfabesi üzerindeki normal dillerin doğal olarak bir poz ve aslında bir kafes olarak düşünülebileceğini fark ettim . Dahası, boş bir dil ile birleştirme , bu kategoride birleştirme üzerinden dağıtılan katı bir tekdüze yapı tanımlar (karşılaştıklarından emin değilim). Bu, normal dillerin teorisi veya pratiğinde faydalı bir yapı mıdır? Bulunması gereken bazı …

21 fl.formal-languages  regular-language  ct.category-theory 

düzenli ifadeleri için bağlam içermeyen en küçük gramer boyutunda önemsiz sınırlar var mı?R 1 ∩ ⋯ ∩ R nR1,…,RnR1,…,RnR_1, \dots, R_nR1∩⋯∩RnR1∩⋯∩RnR_1 \cap \cdots \cap R_n

20 fl.formal-languages  regular-language  context-free 

Let Tüm normal dillerin sınıfı olmak.R E GREG\mathsf{REG} Bilindiği ve \ mathsf {REG} \ olup \ alt-kümesi \ mathsf {AC} ^ 0 . Ancak \ mathsf {AC} ^ 0 \ cap \ mathsf {REG} içindeki diller için herhangi bir karakterizasyon var mı?R E G ⊄ A C 0 A C …

20 circuit-complexity  regular-language 

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 

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 

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 

Dil düşünün L k - d ı s t ı n c tLk−distinctL_{k-distinct} tüm oluşan kkk mektubu temin edilmiştir dizeleri üzerinde ΣΣ\Sigma hiçbir iki harf eşit şekilde: L k - d i s t i n c t : = { w = σ 1 σ 2 . . . …

18 automata-theory  lower-bounds  regular-language  communication-complexity  streaming 

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 

Bağlam: mantık ve otomatlar arasındaki ilişkiler Büchi Teoremi, dizeler üzerindeki Monadic İkinci Dereceden mantığın (MSO) normal dil sınıfını yakaladığını belirtir. Kanıt aslında dizeler üzerinde varolan MSO'nun ( ∃MSO∃MSO\exists\text{MSO} veya EMSO ) normal dilleri yakalamak için yeterli olduğunu göstermektedir. Bu biraz şaşırtıcı olabilir, çünkü genel yapılar üzerinde, MSO dan kesinlikle daha …

17 reference-request  lo.logic  regular-language  finite-model-theory