«context-free» etiketlenmiş sorular

Çok etkili kitapları Automata, Languages ​​and Machines (Cilt A, B) 'nin önsözünde, Samuel Eilenberg, rasyonel olmayan ilişkileri kullanarak rasyonel ilişkileri kullanan "hiyerarşi (rasyonel hiyerarşi olarak adlandırılır) ile ilgilenen C ve D Ciltlerini titizlikle vaat etti. Karşılaştırma için bir araç. Rasyonel kümeler bu hiyerarşinin en altındadır. Yukarı doğru hareket etmek, "cebirsel …

31 soft-question  fl.formal-languages  automata-theory  regular-language  context-free 

Bağlamsız gramerleri (CFG'ler) içeren birçok makalede, burada sunulan bu gramer örnekleri, sıklıkla oluşturdukları dilin kolay karakteristiklerini kabul etmektedir. Örneğin: S→aaSbS→aaSbS \to a a S b S→S→S \to oluşturur {a2ibi|i≥0}{a2ibi|i≥0}\{ a^{2i} b^i | i \geq 0\} , S→aSbS→aSbS \to a S b S→aaSbS→aaSbS \to a a S b S→S→S \to oluşturur …

25 fl.formal-languages  context-free  context-free-languages 

Pratik olarak, sonunda derlenebilecek / sistem düzeyinde talimatlara dönüştürülebilecek bir dil için, bağlamsız bir gramer olması gerekli midir? Örneğin: Tüm programlama / komut dosyası dilleri ücretsiz gramer içeriyor mu? Java, CFG'lere dayanmaktadır, ancak gerçekte tüm programlama dillerinin CFG'lere dayanması söz konusu mu? Zorunlu görünmüyor, fakat anlayışımda boşluklar var. Sorunun bazı …

23 pl.programming-languages  context-free 

Nonononik LR ayrıştırma ile çalışırken , O ( n 2 ) zamanında tam olarak net olmayan gramerleri tam olarak ayrıştırma yeteneğine sahip bir ayrıştırma yöntemi (sınırsız boyutta tablolarla, biraz pratik değildir ) düşündüm ve daha iyisini yapmanın mümkün olup olmadığını merak ettim. :O ( n2)O(n2)O(n^2) Belirsiz gramerlerin tümü doğrusal zamanda …

22 reference-request  fl.formal-languages  time-complexity  parsing  context-free 

"Muhtemelen Bağlamsız" dilleri arıyorum ancak bilinen standart teknikleri kullanarak ispatlayamıyoruz. Konuyla ilgili yakın zamanda yapılan bir anket ya da yakın tarihli bir konferanstaki açık sorunlu bir bölüm var mı? Muhtemelen CF olarak bilinen pek fazla dil yoktur, bu yüzden eğer bir tane biliyorsanız, cevap olarak da gönderebilirsiniz. Bulduğum örnekler: İlkel …

21 reference-request  big-list  context-free 

Tarafından Göstermek wnwnw_n uzunluğunun kelime sayısı (muhtemelen belirsiz) içerik içermeyen dilde.nnn hakkında nelerdir?wnwnw_n Bunun çok çalışıldığından eminim, ama üzerinde hiçbir şey bulamadım.

20 fl.formal-languages  context-free 

düzenli ifadeleri için bağlam içermeyen en küçük gramer boyutunda önemsiz sınırlar var mı?R 1 ∩ ⋯ ∩ R nR1,…,RnR1,…,RnR_1, \dots, R_nR1∩⋯∩RnR1∩⋯∩RnR_1 \cap \cdots \cap R_n

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

Eşdeğerlik sorununun genel bağlamsız diller için kararsız olduğu iyi bilinmektedir. Ancak, farkında olduğum bu gerçeğin tüm kanıtları, belirsiz belirsiz bir gramer içeriyor gibi görünüyor. Bu nedenle, kendini açık bağlamsız dillerle sınırlarken sorunun kararsız olup olmadığını bilip bilmediğini sormak istiyorum . Diğer bir deyişle, apaçık olduğu düşünülen, bağlamsız iki dilbilgisi göz …

19 fl.formal-languages  grammars  context-free  decidability  undecidability 

Bir yerde bir Turing makinesinin bunu hesaplayamadığını okudum ve bu yüzden kararsızım ama neden? Bir makinenin ayrıştırma ağaçlarını üretmesi ve bir karar vermesi neden hesaplamalı olarak imkansızdır? Belki yanılıyorum ve yapılabilir mi?

19 computability  turing-machines  context-free 

zamanında bağlamsız bir dilbilgisini ayrıştırabilen çok sayıda algoritma vardır . Matris çarpımını kullanarak, asimptotik olarak bundan daha hızlı gidebilir.O(n3)O(n3)O(n^3) Ancak, bildiğim keyfi CFG'leri ayrıştırmak için tüm algoritmalar en kötü durum alan kullanımına sahiptir (ancak, itiraf etmek gerekirse, bu matris çarpma algoritmasının alan kullanımının ne olduğu hakkında hiçbir fikrim yok). Bu …

18 ds.algorithms  fl.formal-languages  space-bounded  parsing  context-free 

In Sakarovitch kitabından otomata teorisi üzerine, ilgili bölüme giriş bölümünde yazılır serbest gruptaki rationals malzeme içinde sunulan "bağlamdan-bağımsız dillerin gerçekten matematiksel teorinin temeli" oluşturmasındadır. Bununla birlikte, bağlam içermeyen diller ve aşağı itilen otomatik veriler kitabın kapsamı dışında olduğundan, bu açık değildir. Özgür grupların (ve özellikle de Sakarovitch'in dahil edici monoidler …

17 context-free  automata-theory  reference-request 

Otomata kurslarında ve bu bir dil değildir.| Σ | ≥ 2 S ( L ) = { w w : w ∈ L }L = Σ⋆L=Σ⋆L = \Sigma^\star| Σ | ≥2|Σ|≥2|\Sigma| \ge 2S( L ) = { w w : w ∈ L }S(L)={ww:w∈L}S(L) = \{ww : w \in L\} …

16 context-free 

Deterministic Pushdown Automata'nın resmi açıklamasında , makinenin girişten bir sembol okumadan yığının üzerine sembolleri fırlatabileceği veya itebileceği hareketlere izin verirler . Bu ϵ hareketlere izin verilmiyorsa ve yığın her sembol okunduktan sonra yalnızca bir kez değiştirilebilirse, ortaya çıkan otomatik veriler DPDA'ların gücüne eşit mi?ϵϵ\epsilonϵϵ\epsilon Ben POWERSET kullanarak açısından eksik önemsiz …

16 automata-theory  context-free 

Merak ediyorum, görsel olarak aşağı itilen otomata ile ilgili herhangi bir makale veya araştırma var, ancak tek harfler yerine kelimelerin yığına itilmesine izin veriyor musunuz? Alternatif olarak, εε\epsilon geçişlerine sembollerin itilmesine izin veren bir yapı da aynı hedefe ulaşabilir. Açıkçası, bu tür varyasyonlar oluşturulabilir, ancak VPA'ları ilginç kılan kapatma ve …

16 reference-request  fl.formal-languages  automata-theory  context-free  context-free-languages 

Bir permütasyon ifade: permütasyonu ifade için standart (S) BNF bağlam bağımsız dilbilgisi tanımları bir uzantısıdır ihtiva üretimi (ya da eşit şekilde, nonterminallerdir) yoluyla . Permütasyon cümlesi pozisyonunda, bu prodüksiyonların her birini tam olarak bir kez görmek isteriz, ancak bu terminal olmayanların siparişiyle ilgilenmiyoruz.n A 1 A n{ A1, … , …

16 ds.algorithms  fl.formal-languages  parsing  context-free