«fl.formal-languages» etiketlenmiş sorular

Göre Karmaşıklık Zoo , ve biliyoruz R e g , böylece sayılmaz T Cı- 0 ⊈ R e g . Ancak R e g ⊆ T C 0 olup olmadığını söylemez . Bildiğimiz olmadığından , N Cı- 1 ⊈ T C 0 da biliyoruz olmayan R , e g ⊈ …

14 cc.complexity-theory  fl.formal-languages  automata-theory  circuit-complexity  regular-language 

, normal dillerin pompalama özelliğini fazlasıyla tatmin eden LL\mathcal{L}tüm dillerin ailesi olsun . Yani: her biri için L ∈ L , bir orada N ∈ K st her kelime w ∈ L , | w | > N , w = x y z biçiminde yazılabilir, burada: 1. | y …

14 reference-request  fl.formal-languages  automata-theory 

Deterministik olmayan bir Xor otomata (NXA) sözdizimsel olarak bir NFA'dır, ancak bir kelimenin tek sayıda kabul yolu varsa (NFA durumunda en az bir kabul yolu yerine) NXA tarafından kabul edildiği söylenir. Sonlu bir düzenli dil LLL , herhangi bir döngü içermeyen minimal bir NFA olduğunu görmek kolaydır (bir döngü hem …

14 fl.formal-languages  automata-theory  nondeterminism  minimization 

Standart iki sayaç ( ) aşağıdaki talimatları uygulayabilir:c1, c2c1,c2c_1,c_2 1) ADD 1 to c_i, GOTO label_j 2) IF c_i = 0 GOTO label_j, OTHERWISE SUB 1 to c_i and GOTO label_k 3) GOTO label_j 4) HALT and ACCEPT|REJECT aşağıdaki dile karar verin: L = { n2∣ n ≥ 1 }L={n2∣n≥1}L …

14 fl.formal-languages  counter-automata 

Lemma: Eta denkliği varsayalım (\x -> ⊥) = ⊥ :: A -> B. İspat: ⊥ = (\x -> ⊥ x)eta-denklik ve (\x -> ⊥ x) = (\x -> ⊥)lambda altında azalma ile. Haskell 2010 raporu, bölüm 6.2 seqfonksiyonu iki denklemle belirtir : seq :: a -> b -> b seq …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

Ben "okuyorum Düzenli Diller ve Betimsel Karmaşıklık Birleştirme (Galina Jiraskova tarafından) iki normal dillerin birleştirme kaynaklanan devlet karmaşıklığına Galina Jiraskova, 2009 yılına kadar" ama devlet karmaşıklık pratik yansımaları olacağını anlayamıyorum . Beni etkileyen ilk önemsiz düşünce, daha yüksek karmaşıklığın makine tarafından daha fazla zaman ve yer gerektirmesiydi. Bu doğru mu? …

14 fl.formal-languages  automata-theory  regular-language 

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 

Diyelim ki zaten lexed ve ayrıştırılmış büyük bir kod bloğum var. Sadece bir karakterin değiştiğini varsayalım; Ayrıştırmamı güncellemek istiyorum, ancak değişiklik her şeye kıyasla çok küçük olduğundan, her şeyi tekrar ayrıştırmanın mümkün olup olmadığını, ancak yeniden ayrıştırma aralığını belirlemek için algoritmalar varsa bilmek istiyorum ve hareketli jeton sınırları ile düzgün …

14 fl.formal-languages  parsing 

Let olmak bazı dil, o zaman tanımlayan sözdizimsel uyumunu olarak ve monoid bölümlerine nin sözdizimsel denir . u ∼ v : ⇔ ∀ x , y ∈ X ∗ : x u y ∈ L ↔ x v y ∈ L X ∗ / ∼ L LL⊆X∗L⊆X∗L \subseteq X^{\ast}u∼v:⇔∀x,y∈X∗:xuy∈L↔xvy∈Lu∼v:⇔∀x,y∈X∗:xuy∈L↔xvy∈L u …

14 fl.formal-languages  automata-theory  regular-language  algebra  monoid 

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 

(ve / veya sonsuz kelimeler) arasındaki sonlu kelimelerin iki normal dili arasında "yakınlık" kavramını tanımlamak istiyorum . Temel fikir, iki dilden farklı olmadıkları takdirde iki dilin yakın olmasını istiyoruz. Düzenleme mesafesini bir şekilde de kullanabiliriz ... Bu konuda iyi referanslar bulamadım.Σ∗Σ∗\Sigma^*ΣωΣω\Sigma^\omega Ben buna mesafe demiyorum çünkü tüm mesafe aksiyomlarının doğru …

13 reference-request  fl.formal-languages  regular-language 

Aynı başlangıç ​​ve kabul etme durumuna sahip sonlu otomatalar tarafından tanınan dil sınıfı hakkında bilinenler nelerdir? Bu, normal dillerin uygun bir alt kümesidir (bu tür her dil boş dize içerdiğinden), ancak ne kadar zayıftır? Basit bir cebirsel karakterizasyon var mı? Aynı başlangıç ​​ve kabul eden durumlara sahip deterministik olmayan otomatlar …

13 fl.formal-languages  automata-theory  algebra  regular-language 

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