«grammars» etiketlenmiş sorular

Dil mi { } bağlamsız veya değil?aibjck | i≠j,i≠k,j≠kaibjck | i≠j,i≠k,j≠ka^{i}b^{j}c^{k} ~|~ i \neq j, i \neq k, j \neq k Bu sorunun neredeyse tüm varyantlarını, i, j ve k arasındaki ilişkiyle ilgili farklı şartlarla karşıladığımı fark ettim, ancak bu değil. Benim tahminim bağlamsız olmadığı, ancak bir kanıtınız var mı?

30 automata-theory  fl.formal-languages  grammars 

Yan proje olarak Python'u kullanarak bir dil yazıyorum. Ply adında bir esnek / bizon klonu kullanmaya başladım, ancak bu dilbilgisi tarzında ifade edebileceğim gücün kenarlarına karşı geliyorum ve empedans uyumsuzluğu nedeniyle dilimi kırmakla ilgilenmiyorum alet. Bu nedenle, kendiminkini yazma konusunda hevesli değilim Peki en güçlü çözümleyici türü nedir? Makalelere yapılan …

28 fl.formal-languages  pl.programming-languages  grammars 

Düzenli diller için pompalama lemma , çalışılan dili tanır sonlu durum Otomaton dikkate devletlerin kendi sayısından daha büyük bir uzunluğa sahip bir dize toplama ve pigeonhole prensibini uygulayarak ispat edilebilir. Pompalama bağlam serbest diller için lemma (biraz daha geneldir yanı sıra Ogden lemma) Ancak, çalışılan dilin bir bağlam-dilbilgisi göz önünde …

21 fl.formal-languages  automata-theory  proofs  grammars 

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 

Bu, gramer programlarının yeniden düzenlenmesi midir? önceki Vag tarafından sordu ve yorumculardan birçok öneri ile. Bir dilbilgisi bir hesaplama modelini ne şekilde tanımlayabilir? Örneğin, aşağıdaki gibi bağlam içermeyen basit bir dilbilgisi alırsak, G ::= '1' -> '0' '+' '1' '1' -> '1' '+' '0' '2' -> '2' '+' '0' '2' …

18 fl.formal-languages  pl.programming-languages  grammars  universal-computation 

Jeffrey Shallit'in Otomata Teorisinde İkinci Kursu bölüm 4'te aşağıdaki sorun açık olarak listelenmiştir: Let rasyonel katsayılı bu şekilde olan bir polinom tüm . İspat etmesini veya etmemesini o tüm tamsayılar taban-k temsiller dil bağlam serbest ise ve derecesi yalnızca p olduğunu \ leqslant 1 .p(n)p(n)p(n)p(n)∈Np(n)∈Np(n) \in \mathbb{N}n∈Nn∈Nn \in \mathbb{N}{p(n)∣n⩾0}{p(n)∣n⩾0}\{p(n) \mid …

14 fl.formal-languages  nt.number-theory  grammars 

Ş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 

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 

Let bir bağlam-dil ol. Tanımlama öncesi ve sonek kapatılması için , diğer bir deyişle, her içeren 'nin ön ve postfixes ve dolayısıyla kendisi. Benim sorum: bağlamdan bağımsız ve belirsiz bir dilbilgisine sahipse, için de aynı şey geçerli mi?LLLp p c ( L )ppc(L)ppc(L)LLLp p c ( L )ppc(L)ppc(L)LLLLLLLLLp p c …

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

Müzik parçalarını, üretken gramer veya L-sistemlerinde cümleler olarak ele almak için yaklaşımların bulunduğu bilgisayar müziğiyle ilgileniyorum. Beste yapmak yerine, bir dilbilgisi belirlenebilir ve bilgisayarın müziği oluşturmasına izin verilebilir. Örneğin, geç Paul Hudak çevresindeki Yale grubu bu konuda çok güçlü. L-sistemlerle bitki büyümesi gibi daha yüksek boyutlu şeyleri temsil etmek için …

9 grammars 

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 

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