«regular-expressions» etiketlenmiş sorular

Hem Kleene'nin orijinal tanımı hem de POSIX normal ifadeleri anlamında düzenli ifadeler teorisi hakkında sorular.

4
Minimum düzenli ifadeyi bulmak NP tamamlanmış bir sorun mu?
Şu sorunu düşünüyorum: Belirli bir dizeyle (örneğin geçerli e-posta adresleri için) eşleşen ve başkalarıyla eşleşmeyen (geçersiz e-posta adresleri) normal bir ifade bulmak istiyorum. Normal ifadeyle, iyi tanımlanmış bazı sonlu durum makinelerini kastettiğimizi varsayalım, kesin terminolojiye aşina değilim, ancak izin verilen ifadelerin bazı sınıfları üzerinde anlaşalım. İfadeyi el ile oluşturmak yerine, …
6
Normal ifadeler değil
Bilgisayar biliminde geçmişi olan birine bile düzenli bir ifadenin ne olduğunu sorun ve cevabın sonlu durumlu bir otomatın erişme sınırının ötesine geçmesi muhtemel. Örneğin, “normal ifade” /^1?$|^(11+?)\1+$/ belirtilen Perl kişiliği Abigail tarafından yaratıldı (ve 2002'den beri Perl'in test grubunun bir parçası ), yalnızca bileşik olan tek sayıları kabul eden bir …
4
Düzenli ifadelere verimli bir şekilde uyan “küçük” makineler var mı?
Düzenli bir ifadenin, normal ifadeyle orantılı büyüklükte olmayan belirli olmayan bir sonlu otomat tarafından veya potansiyel olarak üssel olarak daha büyük olan deterministik bir FA ile tanınabileceği iyi bilinmektedir. Ayrıca, bir dizesi ve normal ifade verildiğinde , NFA üyeliği orantılı olarak test edebilir. ve DFA üyeliği orantılı olarak test edebilir. …
1
Neden normal diller “normal” olarak adlandırılıyor?
Neden normal diller (ve bu normal ifadelerden) "normal" olarak adlandırılıyor? Bağlamsız dillerde, diğer dil türlerinde de çok fazla düzenlilik vardır . Sanırım, başlangıçta, "normal" sıfatının, bu tür dilleri "normal olmayan" veya bir şekilde anormal dillerden ayırt etmek için kullanıldığını farz ediyorum. Eğer öyleyse, bu diğer türlerin neresi ve düzensizlikleri neydi?
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 …
1
Hangi normal ifadeler
Aşağıdaki sorunun PSPACE-komple olduğu iyi bilinmektedir: Normal ifade verildiğinde , L ( β ) = Σ ∗ mı?ββ\betaL(β)=Σ∗L(β)=Σ∗L(\beta) = \Sigma^* Diğer (sabit) normal ifadeler denkliği belirlemeye ne dersiniz ?αα\alpha Normal ifade verildiğinde , L ( β ) = L ( α ) mı?ββ\betaL(β)=L(α)L(β)=L(α)L(\beta) = L(\alpha) Aşağıdaki bilinmektedir: İçin , sorun …
4
REGEX uygulamalarının çoğu karmaşıklık ölçeğine nerede düşer?
Perl veya .NET gibi düzenli ifadelerin modern uygulamalarının çoğu, ileri ve geriye bakış gibi özelliklere sahip klasik bilgisayar bilimi REGEXes tanımının ötesine geçer. Bu özellikler, sonlu, aşağı itilmeyen bir otomasyonla tanımlanamayan ifadeleri ayrıştırmaya izin veriyor mu? Turing'e ne kadar yakın olursa, bu onları mümkün kılar mı?
2
JSON Düzenli Bir Dil mi?
JSON spesifikasyonunun normal bir dil tanımlayıp tanımlamadığını merak ediyordum . Yeterince basit görünüyor, ama kendimi nasıl kanıtlayacağımdan emin değilim. Sormamın nedeni, JSON'u etkili bir şekilde pars yapmak için düzenli ifadeler kullanıp kullanamayacağını merak etmemdi. Yeterli temsilcisi olan biri benim için json ve normal dil etiketlerini oluşturabilir mi?
3
Belirsiz bir sonlu otomata (NDFA), üstel uzay / zamanda etkili bir şekilde deterministik bir sonlu otomata (DFA) dönüştürülebilir mi?
Yirmi yıl önce, düzenli ifadelerden sonlu durum makinesine (DFA) dönüşümleri içeren düzenli bir ifade paketi oluşturdum ve bir dizi kapalı düzenli ifade işlemini (Kleene yıldızı, birleştirme, ters, ayarlama işlemleri, vb.) Destekledim. Paketimin en kötü durum performansından emin değildim. Bir DFA, bir NDFA ile aynı ifade gücüne sahiptir, çünkü n durumlu …
2
sonlu kümeler için düzenli ifade boyutunu en aza indirme
Dilin spesifikasyonu olarak bir DFA'mız olsa bile , normal bir ifadenin boyutunu en aza indirmenin PSPACE-complete olduğu bilinmektedir . Dil sonluysa sonuçlar nelerdir? Bu problem iki modelde düşünülebilir: Giriş, dildeki tüm dizelerdir ve giriş boyutunu tüm dizelerin uzunluğunun toplamı ile ölçeriz. Giriş bir DFA'dır ve giriş boyutunu DFA'nın durum sayısına …
3
Genelleştirilmiş yıldız yüksekliği probleminde ilerleme?
Bir dilin (genelleştirilmiş) yıldız yüksekliği, dili genişletilmiş düzenli bir ifade ile temsil etmek için gereken Kleene yıldızlarının minimum iç içe yerleştirilmesidir. Sonlu alfabe üzerinde genişletilmiş düzenli ifadenin aşağıdakileri karşıladığını hatırlayın :birAA (1) ve , tüm için genişletilmiş düzenli ifadelerdira a ∈ A∅ , 1∅,1\emptyset, 1biraaa ∈ Aa∈Aa\in A (2) Tüm …
4
Normal dillerdeki hiyerarşiler
Normal diller sınıfı içinde bilinen herhangi bir "hoş" hiyerarşisi (sonlu olabilir) var mı? Burada, her hiyerarşideki sınıflar farklı ifade / güç / karmaşıklık yakalar. Ayrıca, her sınıfın üyeliği bazı unsurlar tarafından "güzel" olarak gösterilmiştir (yıldız yüksekliği sorununun aksine sorunlu olabilir).L0⊆L1⊆L2⊆…L0⊆L1⊆L2⊆…L_0 \subseteq L_1 \subseteq L_2 \subseteq \dotsLLL Teşekkür ederim!
1
Normal dillerin dahil edilmesinin parametreli karmaşıklığı
Klasik sorun DÜZENLİ DİL KAPSAMI ile ilgileniyorum. Düzenli bir ifadesi verildiğinde , ile ilişkili normal dili belirtiriz . (Düzenli ifadeler , operasyon birliği, Kleene-star ve birleştirme ile sabit bir alfabe üzerindedir .)EEEL ( E)L(E)L(E)ΣΣ\Sigma Girdi: İki düzenli ifadeler ve Soru: Bu doğru mu ?E1E1E_1E2E2E_2 L ( E1) ⊆ L ( …
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.