«context-free» etiketlenmiş sorular

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 

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 

Normal diller için pompalama lemması, belirli dillerin düzenli olmadığını kanıtlamak için kullanılabilir ve bağlamsız diller için (Ogden'in lemmasıyla birlikte) pompalama lemması, belirli dillerin bağlamdan bağımsız olmadığını kanıtlamak için kullanılabilir. Belirleyici bağlamdan bağımsız diller için pompalama bir lemma var mı ? Yani, bir dilin DCFL olmadığını göstermek için kullanılabilen pompalama lemmasına …

11 context-free  proof-techniques  pumping-lemma 

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 

Giriş kelimesinin DFA'sı ve çalışma zamanı tarafından oluşturulmuş Levenshtein Automata ile bulanık ayrıştırma yapmanın bir yolu vardır (belirli bir düzenleme mesafesine yazım hatalarıyla bile dizeleri kabul eder). Bir Earley ayrıştırıcıyla benzer bir şey yapılabilir mi? Bu soruyu cevaplamak yerine algoritmayı anlamakta zorlanıyorum.

10 algorithms  context-free  finite-automata  parsers  string-metrics 

Bir LR (0) ayrıştırıcısında, her durum, bir konumla açıklamalı üretimler olan LR (0) öğelerinden oluşan bir koleksiyondan oluşur. Bir LR (1) ayrıştırıcısında, her durum, bir konum ve bir ileriye dönük karakterle açıklamalı üretimler olan LR (1) öğelerinden oluşan bir koleksiyondan oluşur. Bir LR (1) otomatındaki bir durum verildiğinde, her bir …

10 context-free  parsers  lr-k 

Can Birisi Enlighten bana o geri çark ile özyinelemeli iniş ayrıştırıcı çalışır neden yapımları ve S → bir bir gramer oluşturduğu dili tanımıyor (bu sırayla) S → bir S a | a a .S→aSaS→aSaS \rightarrow aSaS→aaS→aaS \rightarrow aaS→aSa | aaS→aSa | aaS \rightarrow aSa\ |\ aa Yalnızca dilden sözcükleri ayrıştırdığı …

10 context-free  formal-grammars  compilers  parsers 

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 

Kısa bir süre önce başlıkta belirtilen ayrıştırma tekniğini açıklayan bir makaleye rastladım . Ne yazık ki, söz konusu makalede kullanılan terminoloji benim kavrayışımın biraz ötesinde, bu yüzden inşaat algoritmasını daha sezgisel olarak kavramaya çalışıyorum. Başarılı olduğuma inanıyorum ( bu sunum ah-ha anının kaynağıydı), ancak tekniğe veya içerdiği terminolojiye aşina olan …

10 algorithms  formal-grammars  context-free  parsing 

Let terminali ve kümesi , bazı serbest içerik terminal olmayan semboller grubu .N GΣΣ\SigmaNNNGGG Diyelim ki dizgim var ki xay \ in \ mathcal {S} (G) burada x, y \ in (\ Sigma \ cup N) ^ * ve \ mathcal {S } (G) arasında tümce formlarıdır G . x …

10 algorithms  context-free  formal-grammars  compilers 

Yaz n¯n¯\bar n ondalık genişlemesi için nnn (hayır lider ile 0). Let aaa ve bbb ile tamsayılar olmak a>0a>0a > 0 . aaa artı sabitinin katlarının ondalık genişlemelerinin dilini düşünün : M={ax+b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣x∈N}M={ax+b¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N} \} Mı MMM düzenli? bağlamdan bağımsız? ( Afin fonksiyon grafiğinin dili ile kontrast …

10 formal-languages  context-free  regular-languages  integers 

( Öyleyse) ayırıcı neden iki dil arasında fark yaratıyor?##\# Diyelim ki: L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L=\{ws : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L_{\#}=\{w\#s : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} İşte olarak temsil eden bir kanıt ve gramer.LLLCFLCFLCFL Ve aşağıda için için bir kanıt ekliyorum :L#∉CFLL#∉CFLL_{\#} \notin CFL Does işareti gerçekten …

9 formal-languages  context-free  pumping-lemma 

Aşağıdaki bağlamdan bağımsız dilbilgisi "başka bir sarkan" tür belirsizliği sunar ( aaaanlamına gelir if expr thenvebbbanlamına gelir elseveccc başka bir tür talimat veya blok anlamına gelir): S→aSbS|aS|cS→aSbS|aS|c \begin{aligned} S &\rightarrow aSbS \;|\; aS \;|\; c\\ \end{aligned} Örneğin, aacbcaacbcaacbc olarak ayrıştırılabilir (a(acbc))(a(acbc))(a(acbc)) veya gibi (a(ac)bc)(a(ac)bc)(a(ac)bc) (bu dilbilgisi için en basit / …

9 context-free  formal-grammars  parsers  ambiguity 

Son zamanlarda, bağlamsız gramerlerin sonsuz sayıda kurala sahip olmasına izin verirsek ne olacağını merak ediyordum. Açıkçası, bu tür sonsuz kural setlerine keyfi olarak izin verirsek, her dilLLL bazı alfabelerin üzerinde ΣΣ\Sigma bir CFG tarafından tanımlanabilir G=({S},Σ,R,S)G=({S},Σ,R,S)G = (\{S\},\Sigma,R,S) ile R={S→w∣w∈L}R={S→w∣w∈L}R = \{S \rightarrow w \mid w \in L \}. Ama …

9 formal-languages  context-free  formal-grammars