«parsing» etiketlenmiş sorular

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ı …

25 fl.formal-languages  parsing 

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 

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 

Brzozowski'nin türev yöntemi, düzenli ifadelerden güzel bir cebirsel olarak deterministik otomata oluşturmak için çok güzel bir tekniktir. Bazı daha büyük gramer sınıflarını işlemek için bu tekniğin bazı sevimli genellemelerini yaptım, ancak algoritmalar daha önce keşfedilmeleri oldukça mümkün görünüyor. Ancak bu tekniğin torunları için Google'a yapılan atıflar çok fazla görünmüyor. Bir …

18 reference-request  fl.formal-languages  parsing 

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 

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 

Kimse vardiya azaltma ayrıştırma teknikleri ile sınırlandırılmış devamlar arasındaki ilişkiyi resmileştirdi mi? Tabandan tavana ayrıştırıcı (örneğin LR ayrıştırıcılar) oluştururken, bir dilbilgisi alıp daha sonra setleri olarak ayrıştırma durumlarını temsil öğeler : Formun artar yapımları , α ve β terminaller ve nonterminallerin dizilerdir. ∙ işareti ayrıştırıcının dizeye ne kadar uzandığını, α …

13 pl.programming-languages  parsing 

Ayrıştırıcılarla (çoğunlukla ayrıştırıcı ifade gramerleriyle) ilgilendiğim için, ayrıştırmanın kategorik bir tedavisini veren bazı işler olup olmadığını merak ediyorum. Kategori teorisinin ayrıştırma uygulamalarına yapılan atıflar oldukça takdir edilmektedir. En iyi,

13 reference-request  functional-programming  ct.category-theory  parsing 

Earley ayrıştırmalarına baktığımda çok zarif görünüyor ve GLR tekniklerinin neden popüler hale geldiğini merak ediyorum? Tomita'nın GLR'yi yarattığı Earley ayrıştırmada neyin yanlış olduğunu bilen var mı? Verim? Bu tartışma ile ilgili yayınlar çok takdir edilmektedir.

11 parsing 

Java projelerimden biri , kaynatılmış bir çatal ve Antlr veya JavaCC'den farklı olarak, ayrıştırıcılar çalışma zamanında üretilir. Oluşturulan gramerler İfade Gramerlerini veya PEG'leri ayrıştırır (onlar için başka bir terimin "packrat" olduğunu duyuyorum). Çalışma zamanı üretimi karmaşıklık eklerken (bytecode üretimi dahil), başka bir özellik ayrıştırıcı teorisinin kendisiyle ilgilidir. Ne yazık ki, …

9 research-practice  books  parsing 

Grafik ayrıştırıcılar Chomsky normal formuna veya doğrudan üretim kurallarına dayalı olarak uygulanabilir. Şimdilik Chomsky normal formunu kullanan bir CYK grafik ayrıştırıcısı olduğunu varsayalım. İkilleştirme benzersiz olarak tanımlanmamıştır. Bu CYK grafik ayrıştırmasının performansını etkiler mi? Bu bir CYK grafik ayrıştırıcısının performansını artırmak için kullanılabilir mi?

9 fl.formal-languages  parsing