«fl.formal-languages» etiketlenmiş sorular

biçimsel diller, gramerler, otomata teorisi

3
Bağlamsız dilleri yakalayan düzenli ifadelerin bir uzantısı var mı?
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 …
2
Bağlam Duyarlı Dilbilgileri ve Çeşitleri
1) Statik yazım ile resmi gramerler arasındaki ilişki nedir? 2) Özellikle, bir doğrusal sınırlanmış otomatın bir C ++ veya SML programının iyi yazılmış olup olmadığını kontrol etmesi mümkün olabilir mi? Yuvalanmış bir yığın otomatı? 3) Statik yazım kurallarını resmi dilbilgisi terimlerinde ifade etmenin doğal bir yolu var mı?
5
Ayrıştırıcı bir ormanı Earley ayrıştırıcısından kurtarmak mı?
Geçenlerde Earley ayrıştırıcıyı okudum ve bugüne kadar gördüğüm en zarif algoritmalardan biri olduğunu düşünüyorum. Bununla birlikte, algoritma geleneksel anlamda bir tanıyıcıdır ve bir ayrıştırıcı değildir , yani bir dizgenin belirli bir CFG ile eşleşip eşleşmediğini, ancak bunun için bir ayrıştırma ağacı üretip üretmediğini tespit edebilir. Benim sorum, bir ayrıştırma ağacını …
1
Polinom boyutlu DFA'lar tarafından tanınan diller
Sabit bir sonlu alfabe için , resmi bir dil L üzerinde Σ olan düzenli bir mevcutsa deterministik sonlu durum makinesi üzerinde (DFA) Σ tam kabul L .ΣΣ\SigmaLLLΣΣ\SigmaΣΣ\SigmaLLL "Neredeyse" düzenli olan, yalnızca kelime uzunluğuyla polinomlu bir şekilde büyüyen otomata aileleri tarafından tanınabilecekleri anlamında olan dillerle ilgileniyorum. Resmen beni biçimsel dil diyelim …
6
Karmaşıklık alt sınırlarının belirlenmesi için ileri teknikler
Bazılarınız, araştırma seviyesi olmadığı için kapatılmış olan bu soruyu izliyor olabilirsiniz. Dolayısıyla, sorunun araştırma düzeyinde olan kısmını çıkartacağım. Sıralama düzenlemesinin azaltılması veya EXPTIME tamamlanmış bir sorun gibi "basit" tekniklerin ötesinde, bir sorunun zaman karmaşıklığı için düşük sınırları kanıtlamak için hangi teknikler kullanılmıştır? Özellikle: Son on yılda geliştirilen "son teknoloji" teknikler …
1
Belirsiz gramerlerin tümü doğrusal zamanda ayrıştırılabilir mi?
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 …
2
Protokol bölüm numarası ve deterministik iletişim karmaşıklığı
Bir ilişkinin (deterministik) iletişim karmaşıklığı yanı sıra , gerekli iletişim miktarı için bir başka temel ölçü, protokol bölüm numarasıdır . Bu iki önlem arasındaki ilişki sabit bir faktöre kadar bilinmektedir. Kuşhilevitz ve Nisan (1997) tarafından yapılan monografi;cc(R)cc(R)cc(R)RRR pp(R)pp(R)pp(R) cc(R)/3≤log2(pp(R))≤cc(R).cc(R)/3≤log2⁡(pp(R))≤cc(R).cc(R)/3 \le \log_2(pp(R)) \le cc(R). İkinci eşitsizlikle ilgili olarak, ile (sınırsız bir …
3
Kategori-teorik açıdan normal diller
alfabesi üzerindeki normal dillerin doğal olarak bir poz ve aslında bir kafes olarak düşünülebileceğini fark ettim . Dahası, boş bir dil ile birleştirme , bu kategoride birleştirme üzerinden dağıtılan katı bir tekdüze yapı tanımlar (karşılaştıklarından emin değilim). Bu, normal dillerin teorisi veya pratiğinde faydalı bir yapı mıdır? Bulunması gereken bazı …
4
Pushdown otomata kullanarak bağlamsız diller için pompalama lemasının kanıtı
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 …
5
Özel bir dil sınıfı: “dairesel” diller. Biliyor mu?
Aşağıdaki "dairesel" dil sınıfını sonlu bir alfabe Sigma üzerinde tanımlayın. Aslında, isim zaten DNA hesaplama alanında kullanılan göründüğü farklı bir şeyi belirtmek için var. AFAICT, bu farklı bir dil sınıfı. Bir dil L tüm kelimeler için dairesel IFF olduğu www içinde Σ∗Σ∗\Sigma^* elimizde: www , yalnızca tamsayılarıiçin L'ye aitsek>0k>0k > …
1
Belirsiz bağlamsız dillerin denkliği karar verilebilir mi?
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 …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.