«closure-properties» etiketlenmiş sorular

Bağlamdan bağımsız diller tamamlayıcı altında kapalı değildir , bunu biliyoruz. Bildiğim kadarıyla bir alt kümesidir, bağlamdan-bağımsız diller anlamak gibi Bazı mektuplar için bir , b tamamlayıcı altında kapalıdır (!?)a∗b∗a∗b∗a^*b^*a,ba,ba,b İşte benim argümanım. Her CF dili yarı doğrusal Parikh görüntüsüne sahiptir π ( L ) = { ( m , n …

20 formal-languages  reference-request  context-free  closure-properties 

Bu bir takip soru bu bir . Egzotik durum makineleri hakkında önceki bir soruda , Alex ten Brink ve Raphael tuhaf bir tür devlet makinesinin hesaplama yeteneklerini ele aldı: min-yığın otomata. Bu tür makineler tarafından kabul edilen dil kümesinin ( HALHALHAL ), bağlamsız dil kümesinin ne bir alt kümesi ne …

16 formal-languages  automata  closure-properties 

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 

Aşağıdakilerle ilgili yardımınızı gerçekten çok isterim: Herhangi bir sabit için aşağıdaki operatörler altında kapatma olup olmadığına karar :L2L2L_2 birr( L ) = { x ∣ ∃ y∈ L2: x y∈ L }Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} birl( L ) = { x ∣ ∃ y∈ …

13 formal-languages  regular-languages  closure-properties 

, Σ = { a , b } alfabesi üzerinde normal bir dildir. L'nin w ∈ Σ ∗ ileilgilisol bölümü, w - 1 L dilidir : = { v ∣ w v ∈ L }LLLΣ={a,b}Σ={a,b}\Sigma = \{a,b\}LLLw∈Σ∗w∈Σ∗w \in \Sigma^*w−1L:={v∣wv∈L}w−1L:={v∣wv∈L}w^{-1} L := \{v \mid wv \in L\} nin düzenli olduğunu nasıl …

13 formal-languages  regular-languages  closure-properties 

Bu soruya rastladım: "Birliklerinin normal bir dil üretmediği iki normal dilden örnekler verin." Bu benim için oldukça şok edici çünkü düzenli dillerin birlik altında kapalı olduğuna inanıyorum. Bu yüzden iki normal dil ve sendikayı onları alırsan, bunun bana vasıta olmalıdır düzenli bir dil olsun. Sanırım bunun kanıtını anlıyorum: Sözlerimde, diller …

12 formal-languages  regular-languages  closure-properties 

Eğer düzenlidir, o takip eder düzenli mi?bir2A2A^2birAA Bir ispat girişimim: Evet, çelişki için düzenli olmadığını varsayalım . Daha sonra .birAAbir2= A ⋅ AA2=A⋅AA^2 = A \cdot A Normal olmayan iki dilin birleştirilmesi normal olmadığından düzenli olamaz. Bu varsayımımızla çelişiyor. Yani düzenli. Yani eğer düzenlidir sonra düzenlidir.bir2A2A^2birAAbir2A2A^2birAA Kanıt doğru mu? Bunu …

12 formal-languages  regular-languages  closure-properties 

Sendikaları / kavşakları / birleştirilmiş dilleri karar verilebilecek şekilde kararsız diller var mı? Genel olarak, kararlaştırılamayan diller bu işlemler altında kapatılmadığından, bu örneğin fiziksel yorumu nedir? Kleene kapatılması hakkında ne söyleyebiliriz? Bunun için de örneklerimiz var mı? Yani kararsız bir dilin kapatılması karar verilebilir mi? Ayrıca, bu tür kararsız sınıfları …

12 formal-languages  undecidability  closure-properties 

Kanıtlamak isterim ki , kapatma özellikleri kullanılarak normal değildir.{0n1n∣n≥0}{0n1n∣n≥0}\{0^n1^n \mid n \geq{} 0\} Pompalama lemmasının normal bir dil değildir. Ayrıca tamamlayıcı işlem altında normal dillerin kapalı olduğunu anlıyorum. Ancak bu, normal olmayan bir dilin tamamlayıcısının da normal olmadığı anlamına mı geliyor?{0n1n∣n≥0}{0n1n∣n≥0}\{0^n1^n \mid n \geq{} 0\}

12 formal-languages  regular-languages  closure-properties 

Ç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 

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 

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 

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 

Bir sonraki egzersizi çözmeye takılıp kaldım: Eğer iddia LLL bağlam içermez ve R,RR düzenli, o zaman L / R = { w ∣ ∃ x ∈ Rstw x ∈ L }L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in L\} (yani doğru bölüm ) bağlam …

9 formal-languages  context-free  finite-automata  closure-properties  pushdown-automata