«context-free» etiketlenmiş sorular

Bu bir üniversitede CS kursuna çalışmaya ilişkin bir sorudur Not, bu ödev DEĞİLDİR ve bulunabilir burada Güz 2011 exam2 altında. İşte geçmiş bir sınavdan baktığım iki soru. İlki gibi görünüyorlar, ilki: İzin Vermek FINITECFG={<G>∣G is a Context Free Grammar with |L(G)|<∞}FINITECFG={<G>∣G is a Context Free Grammar with |L(G)|<∞}\qquad \mathrm{FINITE}_{\mathrm{CFG}} = …

16 formal-languages  computability  context-free  regular-languages  turing-machines 

Bağlamdan bağımsız bir dil L'nin normal bir M dili ile kesişiminin her zaman bağlamsız olduğu söylenir. Ürünler arası yapı kanıtını anladım, ancak neden bağlamdan bağımsız olduğunu, ancak düzenli olmadığını anlamıyorum. Böyle bir kavşak tarafından üretilen dili PDA hem kabul edilir dizeleri vardır ve bir DFA. Bir DFA tarafından kabul edildiğinden, …

16 regular-languages  context-free  finite-automata  formal-grammars 

Yani temelde L, CFL'ler için pompalama lemmasının koşullarını karşılar, ancak bir CFL değildir (bu, lemmanın tanımına göre mümkündür).

15 formal-languages  context-free  pumping-lemma 

Dil tanımlayın olarak L = { a , b } * - { w w | w ∈ { a , b } * } . Başka bir deyişle, L , iki kez tekrarlanan bir kelime olarak ifade edilemeyen kelimeleri içerir. Mı L bağlamdan bağımsız mı değil mi?LLLL={a,b}∗−{ww∣w∈{a,b}∗}L={a,b}∗−{ww∣w∈{a,b}∗}L = \{a, …

15 formal-languages  context-free  formal-grammars 

Let bir bağlam-dilbilgisi. Terminalleri ve nonterminallerin bir dize G bir olduğu söylenir cümlesel formu arasında G Eğer üretimlerini uygulayarak alamazlarsa G başlangıç simgesi sıfır ya da daha fazla kez S . Let SF ( G ) arasında cümlesel formlarının kümesi G .GGGGGGGGGGGGSSSSF(G)SF⁡(G)\operatorname{SF}(G)GGG Let ve izin β bir alt dizisi a …

14 formal-languages  context-free  formal-grammars  closure-properties 

Girintiye duyarlı diller için gramerler düşünüyordum ve CF gramerleri parametrelerle birleştirilirse hile yapacak gibi görünüyor. Örnek olarak, ANTLR benzeri formatta basitleştirilmiş Python dilbilgisi için bu parçayı düşünün: // on top-level the statements have empty indent program : statement('')+ ; // let's consider only one compound statement and one simple statement …

13 formal-languages  context-free  formal-grammars  parsers 

"Deterministik bağlamsız dilbilgisi" gibi ifadelerde "deterministik" ile ne anlama geldiğini anlamaya çalışıyorum. (Bu alanda daha belirleyici "şeyler" vardır). En ayrıntılı açıklamadan daha çok bir örneği takdir ediyorum! Eğer mümkünse. Başlıca karışıklık kaynağım, bir dilbilgisinin bu özelliğinin (olmayan) belirsizlikten ne kadar farklı olduğunu söyleyememek. Ne anlama geldiğini bulabildiğim en yakın şey …

13 context-free  formal-grammars  parsers 

Böylece, düzenli olmayan diller olduğunu biliyoruz Düzenli, ama bulabilirim tüm örnekler içeriğe duyarlı değil bağlam serbesttir.L*L∗L^* Hiçbiri yoksa bunu nasıl kanıtlarsınız?

13 formal-languages  context-free  regular-languages 

Bu alıştırmada bir sorunum var: G λ-hesabı için aşağıdaki belirsiz dilbilgisi olsun: E → v | λv.E | EE | (E) burada E, terminal olmayan tek bir simgedir, λv.E, E'deki v değişkeninden soyutlamayı temsil eder ve EE uygulamayı temsil eder. L (G ′) = L (G) ve G'nin belirsizliği aşağıdaki …

13 context-free  formal-grammars  compilers  parsers 

Bağlamdan bağımsız gramerlerin bağlamdan bağımsız dilleri temsil etmek için kullanılabileceğini anlıyorum, belirsizlikleri olabilir. Chomsky ve Greibach normal formu gibi normal formlarımız da var . Bunun ihtiyacını anlayamadım. Dil teorisinde neden önemlidirler? Bahsettiğim tüm ders kitapları bu normal formları anlattı ama önemleri hakkında hiçbir şey söylemedi.

12 formal-languages  context-free  formal-grammars  normal-forms 

Bağlamdan bağımsız ve düzenli dillerin (uygun) etkili sorunların (sözde ) alt kümeleri olduğunu gösteren bu rakamla karşılaştım . Etkili sorunların tüm karar verilebilir sorunların bir alt kümesi olduğunu mükemmel bir şekilde anlıyorum çünkü bunları çözebiliriz, ancak çok uzun zaman alabilir.PP\mathrm{P} Neden tüm bağlam serbest ve düzenli diller verimli Karar verilebilen? …

12 formal-languages  regular-languages  context-free  efficiency 

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 

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