«context-free» etiketlenmiş sorular

Bağlamdan bağımsız bir dil L'nin düzenli olduğunu, yani formun koşullarını ima eden koşulların bir listesini toplamak iyi olur: "belirli bir CFG / PDA'nın P özelliği varsa, dilleri düzenli demektir" P özelliğinin, normal diller üreten CFG'leri tanımlaması gerekmez. Dahası, P'nin karar verilebilir olması gerekmez ve P, bir şekilde bağlamdan bağımsız olan …

14 reference-request  fl.formal-languages  regular-language  context-free  survey 

Şu doğal soruyu göz önünde bulundurun: Sonlu bir dili göz önüne alındığında, bağlamsız en küçük dilbilgisi üreten nedir?LLLLLL Biz dil dizisini belirleyerek soru daha ilginç yapabilirsiniz , örneğin tüm permütasyon kümesidir : sezgisel, bir CFG "ihtiyaç" büyüklüğe sahip olur . Bu yüzden diller için en küçük CFG'lerin asimptotik boyutu ile …

14 reference-request  fl.formal-languages  lower-bounds  grammars  context-free 

Son soruyu okuduktan sonra "nin tamamlayıcısı mı {www∣...}{www∣...}\{ www \mid ...\} Bağlamdan-bağımsız?" ; Çürütemediğim benzer bir sorunu hatırladım: Mi L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L = \{ ww' \mid w,w' \in \{0,1\}^* \land |w|=|w'| \land HamDist(w,w')>1 \} bağlam serbest? Burada iki dizeleri en az iki pozisyonda farklılık gerektirir (Hamming uzaklığı daha büyük olmalıdır 111 ). …

13 fl.formal-languages  context-free 

Tüm tatmin edici teklif mantık formüllerinin dilini düşünüyorum, SAT (bunun sonlu bir alfabesi olduğundan emin olmak için, teklif harflerini uygun bir şekilde kodlayacağız [değiştir: cevaplar sorunun cevabının altında olmayabilir kodlamalar değiştiğinden, birisinin daha spesifik olması gerekir - aşağıdaki sonuçlarıma bakın] ). Benim basit sorum Mı SAT bir bağlam-dil? İlk tahminim, …

12 cc.complexity-theory  circuit-complexity  sat  context-free 

Greibach , sözde belirsiz olmayan versiyonu olarak bilinen bir dilini tanımladı , böylece herhangi bir CFL, ters morfik bir görüntüsü olacak . DCFL ile benzer bir ifade var mı, muhtemelen izin verilen morfizmlerde bazı kısıtlamalar var mı?D 2 HHHHD2D2D_2HHH (Bakınız, örneğin, M. Autebert, J. Berstel ve L. Boasson. Bağlamdan bağımsız …

12 fl.formal-languages  open-problem  context-free  nondeterminism  hard-instances 

Dyck dilleri aşağıdaki dilbilgisi S tarafından tanımlanır → S SDyck(k)Dyck(k)\mathsf{Dyck}(k){ ( 1 , … , ( k , ) 1 , … , ) k } simgeler kümesi üzerinden. Sezgisel olarak Dyck dilleri k türünündengeli parantezlerinin dilidir. Örneğin, (S→SS|(1S)1|…|(kS)k|ϵS→SS|(1S)1|…|(kS)k|ϵ S \rightarrow SS \,|\, (_1 S )_1 \,|\, \ldots \,|\, (_k …

12 reference-request  fl.formal-languages  circuit-complexity  ho.history-overview  context-free 

{ W w ∣ w ∈ Σ ∗ }{ww∣w∈Σ∗}\{ ww \mid w\in \Sigma^*\} tamamlayıcının bağlamdan bağımsız olduğu iyi bilinmektedir . Peki { w w w ∣ w ∈ Σ ∗ } '{www∣w∈Σ∗}\{ www \mid w\in \Sigma^*\} ın tamamlayıcısı ne olacak ?

12 fl.formal-languages  context-free 

Aşağıdaki iddiaların doğru olduğunu anlıyorum: Belirli bir CFG'deki bir dizenin iki ayrı türevi bazen aynı ayrıştırma ağacını dizeye bağlayabilir. Belirli bir CFG'de farklı ayrıştırma ağaçlarına atfedilen bazı dizelerin türevleri olduğunda, CFG belirsizdir. Belirsiz CFG'ler tarafından üretilen bazı bağlamsız diller de belirsiz CFG'ler tarafından üretilir. Bazı diller, onları üretebilen (ve bazıları …

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

Bir sayı verilsin. Aşağıdaki dili düşünün L n = {nnn .Ln={ww|w∈{0,1}n}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} Kelimelerde, , 2 n uzunluğunda kopya dizeleridir .LnLnL_n2n2n2n Düşünün Aşağıdaki durum karmaşıklığı fonksiyonu , öyle ki s ( n ) tanıyan küçük ters otomata durum sayısı olan …

10 fl.formal-languages  automata-theory  grammars  context-free 

Resmi dil problemlerini matematiksel analiz, sürekli matematik kullanarak çözmede bazı sonuçlar olup olmadığı. Örneğin, bağlamsız bir dil ve normal bir dil için kesişim boşluğu sorununu çözmek.

9 fl.formal-languages  automata-theory  context-free 

Bağlamdan bağımsız bir gramer düşünün GGGalfabe üzerinde . Bu dilbilgisinin prodüksiyonlarına iki sabit prodüksiyon ekleyin : ve . Ortaya çıkan gramer " prodüksiyonlarıyla zenginleştirilmiş " olarak adlandırın.{ 0 , 1 ,0¯¯¯,1¯¯¯}{0,1,0¯,1¯}\lbrace 0,1,\overline{0} ,\overline{1} \rbracePPP0¯¯¯0 → ϵ0¯0→ϵ\overline{0} 0 \rightarrow \epsilon1¯¯¯1 → ϵ1¯1→ϵ\overline{1} 1 \rightarrow \epsilonG,PGPG^PG,GGPPP Bir dil bilgisi alır bir algoritma …

9 context-free  decidability 

Belirsiz CFG'lerin tüm CFG'lere oranı nedir ? Her iki küme de sayıca sonsuz olduğu için oran iyi tanımlanmamıştır. Ama asimtotik yoğunluk ne olacak : limn↦∞# ambiguous CFG of size&lt;n# CFG of size&lt;nlimn↦∞# ambiguous CFG of size&lt;n# CFG of size&lt;n\lim_{n \mapsto \infty}\frac {\# \text{ ambiguous CFG of size} < n} {\# …

9 fl.formal-languages  grammars  context-free 

Bağlamdan bağımsız dillerin tanınması için neden sadece deterministik olmayan push-down otomatlarının (DPA = NPDA) işe yaradığını bilmek istiyorum. Deterministik push-down otomatlar (DPDA) neden bu dilleri tanımıyor?

9 fl.formal-languages  automata-theory  context-free 

Permütasyon var mı π1,π2π1,π2\pi_1,\pi_2 ve polinom boyutu | w | =n|w|=n|w|=n) sonlu dili tanımlayan bağlamsız gramer { wπ1( w )π2( w ) }{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\} alfabenin üzerinde { 0 , 1 }{0,1}\{0,1\}? GÜNCELLEME: Bir permütasyon için ππ\pi bu mümkün. ππ\pi "Tersine çevirme", tersine çevirme veya tersine çevirmede nispeten küçük bir …

9 fl.formal-languages  grammars  context-free