«parsers» etiketlenmiş sorular

Belirli bir dizenin sabit bir biçimsel dile ait olup olmadığına karar veren algoritmalar hakkında sorular.

1
Bir Earley Parser, DFA için Levenshtein Automata Algo'ya benzer bir bulanık ayrıştırıcıya dönüştürülebilir mi?
Giriş kelimesinin DFA'sı ve çalışma zamanı tarafından oluşturulmuş Levenshtein Automata ile bulanık ayrıştırma yapmanın bir yolu vardır (belirli bir düzenleme mesafesine yazım hatalarıyla bile dizeleri kabul eder). Bir Earley ayrıştırıcıyla benzer bir şey yapılabilir mi? Bu soruyu cevaplamak yerine algoritmayı anlamakta zorlanıyorum.

2
Bir dil için bir LR (1) otomatiği, karşılık gelen LR (0) otomatından ne kadar daha büyük olabilir?
Bir LR (0) ayrıştırıcısında, her durum, bir konumla açıklamalı üretimler olan LR (0) öğelerinden oluşan bir koleksiyondan oluşur. Bir LR (1) ayrıştırıcısında, her durum, bir konum ve bir ileriye dönük karakterle açıklamalı üretimler olan LR (1) öğelerinden oluşan bir koleksiyondan oluşur. Bir LR (1) otomatındaki bir durum verildiğinde, her bir …


2
“En yakın eşleşme” dışında “sarkan başka” sorunun farklı bir çözümü var mı?
Aşağıdaki bağlamdan bağımsız dilbilgisi "başka bir sarkan" tür belirsizliği sunar ( aaaanlamına gelir if expr thenvebbbanlamına gelir elseveccc başka bir tür talimat veya blok anlamına gelir): S→aSbS|aS|cS→aSbS|aS|c \begin{aligned} S &\rightarrow aSbS \;|\; aS \;|\; c\\ \end{aligned} Örneğin, aacbcaacbcaacbc olarak ayrıştırılabilir (a(acbc))(a(acbc))(a(acbc)) veya gibi (a(ac)bc)(a(ac)bc)(a(ac)bc) (bu dilbilgisi için en basit / …

1
Earley vektöründen sözdizimi ağaçlarının ormanını nasıl yeniden kurabilirim?
Earley vektörünü tanıyıcı olarak kullanmak oldukça basittir: ipin sonuna ulaşıldığında, 0 konumunda başlayan tamamlanmış bir aksiyomatik üretimi kontrol etmeniz gerekir. En az bir tane varsa, o zaman dize kabul edilir. Ayrıştırma ağaç (lar) ını yeniden oluşturmak için Earley vektörünü kullanmak daha az belirgindir. Aslında, bir algoritmik prosedürün nasıl çalışacağını anlayamıyorum, …

2
Parantez Eşleşmesi İçin İki Durumlu Turing Makinesi
Kolejde genel olarak hesaplama teorisi ve Turing makineleri hakkında daha spesifik bilgi ediniyoruz. Büyük teorik sonuçlardan biri, potansiyel olarak büyük bir alfabe (semboller) pahasına, eyalet sayısını sadece 2'ye indirebilmenizdir. Farklı Turing Makineleri örnekleri arıyordum ve sunulan yaygın bir örnek Parantez eşleştiricisi / denetleyicisi. Esasen, örneğin bir parantez dizisinin (()()()))()()()dengeli olup …
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.