«formal-languages» etiketlenmiş sorular

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 

Bağlamdan bağımsız diller tamamlama altında kapatılmaz. Wikipedia'daki gibi aynı argüman verildi : her ikisi de bir ve B bağlam içermez fakat kesişimleri A ∩ B değildir. Bağlamdan bağımsız diller sendikalar altında kapatıldığından, tamamlayıcılık altında da kapatılamazlar.A={anbncm; m,n∈N0}andB={ambncn; m,n∈N0},A={anbncm; m,n∈ℕ0}andB={ambncn; m,n∈ℕ0},A = \{\mathtt a^n \mathtt b^n \mathtt c^m;~m, n ∈ ℕ_0\}\quad\text{and}\quad …

11 formal-languages  context-free 

Bir dilin düzenli olup olmadığını test etmek için bir algoritma / sistematik prosedür var mı? Başka bir deyişle, cebirsel biçimde belirtilen bir dil verildiğinde ( gibi bir şey düşünün ), dilin normal olup olmadığını test edin. Öğrencilere tüm ödevlerinde yardımcı olmak için bir web hizmeti yazdığımızı düşünün; kullanıcı dili belirtir …

11 algorithms  formal-languages  regular-languages  decision-problem 

Bu Dragon kitabından bir soru (Çeviri hataları için özür dilerim, elimizde İngilizce sürüm yok): Bu dilbilgisi hangi dili üretiyor? S→ a Sb S∣ b Sa S∣ ϵS→aSbS∣bSaS∣ϵS \rightarrow a S b S \mid b S a S \mid \epsilon Burada ne yapmam gerektiğini bilmiyorum. Kitaptaki diller hakkındaki tanım bunu söylüyor …

11 formal-languages  context-free  formal-grammars 

Çevrimsel kaydırma (aynı zamanda dönme veya konjugasyon bir dil) LLL olarak tanımlanır . Vikipedi'ye göre (ve burada ) bağlamsız diller bu operasyon kapsamında, Oshiba ve Maslov'dan gelen makalelere atıfla kapatılmıştır. Bu gerçeğin kolay bir kanıtı var mı?{ y x ∣ x y ∈ L }{yx∣xy∈L}\{ yx \mid xy \in L …

11 formal-languages  context-free  closure-properties 

İş 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 

Aşağıdaki dile sahibim {0i1j2k∣0≤i≤j≤k}{0i1j2k∣0≤i≤j≤k}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} Hangi Chomsky dil sınıfına uyduğunu belirlemeye çalışıyorum. Bağlama duyarlı bir dilbilgisi kullanılarak nasıl yapılabileceğini görebiliyorum, bu yüzden en azından bağlama duyarlı olduğunu biliyorum. Bağlamdan bağımsız bir gramer ile yapmak mümkün olmayacak gibi görünüyor, ancak bunu …

11 formal-languages  context-free  formal-grammars  pumping-lemma 

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 

Let , , , ortak bir alfabe üzerinde tanımlandığını her biri bağlamdan-bağımsız dillerin bir fi nite dizisi olması Σ . Let L arasında fi nite birlik olmak L-1 , L_2 , L_3 , \ nokta ; yani, L = L_1 \ fincan L_2 \ fincan L_3 \ fincan \ nokta …

11 formal-languages  context-free  closure-properties 

Aşağıdaki ifadelerden hangisi doğrudur? bir dilin düzenliliği ile ilgili yeterli ve gerekli koşullar mevcuttur ancak henüz keşfedilmemiştir. Bir dilin düzenliliği hakkında yeterli ve gerekli bir koşul yoktur. Lemma pompalamak, bir dilin düzensizliği için gerekli bir koşuldur. Lemma pompalamak, bir dilin düzensizliği için yeterli bir koşuldur. Biliyorum # (4) doğru ve …

11 formal-languages  regular-languages 

Teorik olarak hiçbir uygulamanın bulunamayacağı bir programlama dili belirtmek mümkün mü? Programlama dili işlevleri tanımlamanın bir yoludur. Bir uygulama, belirli bir girdiyi, o girdideki programa karşılık gelen işlevin çıktısına verilen bir girdide o dilde yürütmek için bir yöntem anlamına gelir. Böyle bir dilin asgari gereksinimleri nelerdir?

11 formal-languages  computability  programming-languages 

Hangi CFL sınıfının kapalı olduğunu bilmem lazım yani CFL'nin tamamlayıcısı nedir? CFL'nin tamamlayıcı altında kapalı olmadığını ve P'nin tamamlayıcı altında kapalı olduğunu biliyorum. CFL PI, CFL tamamlayıcısının P'ye dahil olduğunu söyleyebilir (doğru?). CFL tamamlayıcısının P'nin veya tüm P'nin uygun alt kümesi olup olmadığı konusunda hala bir soru var.⊊⊊\subsetneq

11 complexity-theory  formal-languages  context-free  closure-properties  sets 

Bir ders kitabında çok çalışıyorum ve nasıl ilerleyeceğimi anlayamıyorum. İşte sorun. Diyelim ki L = { a i b j : i ≤ j γ , i ≥ 0 , j ≥ 1 }.L={aibj:i≤jγ,i≥0,j≥1}L = \{a^ib^j: i \leq j \gamma, i\geq 0, j\geq 1\} Burada γγ\gamma bir miktar irrasyonel sayıdır. …

10 formal-languages  automata  context-free 

Düzenli ifadelere bakmanın bir yolu, aşağıdaki gerçeğin yapıcı bir kanıtıdır: küçük bir dil grubuyla başlayıp küçük, sabit bir kapatma özellikleri seti ile birleştirerek normal dilleri oluşturmak mümkündür. Özellikle, boş dil, boş dizeyi içeren dil ve tüm tek karakterli dizelerin dilleriyle başlarsak, birleşim, birleştirme ve Kleene yıldızı kullanarak tüm olası normal …

10 formal-languages  context-free  closure-properties  regular-expressions 

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