«formal-grammars» etiketlenmiş sorular

İnsanlar genellikle LR (k) ayrıştırıcılarının LL (k) ayrıştırıcılardan daha güçlü olduğunu söyler . Bu ifadeler çoğu zaman belirsizdir; Özellikle, biz sabit için sınıfları karşılaştırmak gerekir her yerinde veya birlik k ? Peki durum gerçekten nasıl? Özellikle, LL (*) 'nin nasıl uyduğuyla ilgileniyorum.kkkkkk Bildiğim kadarıyla, LL ve LR ayrıştırıcılarının kabul ettiği …

67 formal-languages  formal-grammars  parsers  reference-question 

Bağlamsız bir dili, sadece deterministik bir aşağı otomat tarafından kabul edilebiliyorsa ve yoksa başka türlü belirlenemez olarak belirleyelim. Yalnızca dili oluşturan tüm bağlamsız gramerler belirsiz ise ve aksi takdirde belirsiz ise, bağlamsız bir dili doğal olarak belirsiz olarak tanımlayalım. Deterministik ve belirsiz bir dilin örneği dildir: Belirsiz ve belirsiz bir …

36 formal-languages  automata  formal-grammars  pushdown-automata 

Bu gören Chomsky Hiyerarşisi Tip 3 dilde harici bellek (örneğin, bir FA), bir bir durum makinesi tarafından Tip 2 ile bir durum makinesi tarafından kabul edilebilir bir yığın (yani, bir otomat aşağı açılan) tarafından 0 Tip İki istifli bir durum makinesi (veya Turing Makineleri için olduğu gibi eşit olarak bir …

34 formal-languages  applied-theory  computability  automata  formal-grammars 

Bağlamsız Dilbilgisinin ne olduğu hakkında çevrimiçi birçok tanım var, ancak bulduğum hiçbir şey birincil sorunumu tatmin etmiyor: Hangi bağlamda özgür? Araştırmak için, "bağlam duyarlı dilbilgisi" kelimesini Googled'im ama yine de "bağlam" ın neyle ilgili olduğunu bulamadım. Birisi lütfen contextbu isimlerde terimin ne anlama geldiğini açıklayabilir mi?

30 terminology  context-free  formal-grammars 

Bir süredir derleyiciler üzerinde çalışıyorum ve dilbilgisinde "bağlam" ile neyin kastedildiğini ve dilbilgisinin "bağlamsız" olmasının ne anlama geldiğini araştırıyorum, ancak sonuçsuz. Peki, kimse bu konuda yardımcı olabilir?

29 terminology  context-free  formal-grammars 

Bir çift çiftim var. Her çift, (x, y) formundadır, öyle ki, x, y, aralıktaki tam sayılara aittir [0,n). Yani, n 4 ise, o zaman aşağıdaki çiftleri var: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Zaten çiftlerim var. Şimdi, n/2tamsayıların hiçbirinin tekrarlanmayacağı şekilde çiftler kullanarak bir kombinasyon oluşturmam gerekiyor (başka bir deyişle, …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

Orada birçok teknik bir dil olduğunu kanıtlamak için değil bağlam içermeyen, ama nasıl bir dil olduğunu ispat yok olduğu bağlamdan-bağımsız? Bunu kanıtlamak için hangi teknikler var? Açıkçası, bunun bir yolu, dil için bağlamsız bir dilbilgisi sergilemektir. Belirli bir dil için bağlamsız bir dilbilgisi bulmak için sistematik teknikler var mı? Düzenli …

26 formal-languages  context-free  formal-grammars  proof-techniques  reference-question 

Benim sorunum bir gramerin net olmadığını nasıl kanıtlayabilirim? Aşağıdaki gramer bilgisine sahibim: S→statement∣if expression then S∣if expression then S else SS→statement∣if expression then S∣if expression then S else SS → statement ∣ \mbox{if } expression \mbox{ then } S ∣ \mbox{if } expression \mbox{ then } S \mbox{ else } …

25 context-free  formal-grammars  proof-techniques  ambiguity 

Hatta palindromların dili olan EPAL, aşağıdaki net bağlamsız gramer tarafından oluşturulan dil olarak tanımlanmaktadır: S→ Bir BirS→aaS \rightarrow a a S→ b bS→bbS \rightarrow b b S→ a SbirS→aSaS \rightarrow a S a S→ b SbS→bSbS \rightarrow b S b EPAL, pek çok ayrıştırma algoritmasının 'temelini oluşturuyor: dili tanımlayan herhangi …

23 formal-languages  formal-grammars  parsers 

Resmi dilbilgileri vererek biçimsel dilleri belirtmek sıkça bir iştir: Dilbilgileri sadece dilleri tanımlamak için değil, aynı zamanda onları ayrıştırmak ve hatta uygun bilim yapmak için de kullanmamız gerekir . Her durumda, eldeki dilbilgisinin doğru olması, tam olarak istenen kelimeleri üretmesi önemlidir . Dilbilgisinin neden istenen dilin yeterli bir temsili olduğunu …

22 formal-languages  formal-grammars  proof-techniques  reference-question 

Bu soru, Teorik Bilgisayar Bilimleri Yığın Değişim Borsası'ndan taşınmıştır , çünkü Bilgisayar Bilimleri Yığın Değişim Borsasında yanıtlanabilir. 7 yıl önce göç etti . Ben sadece dilbilgisi hiyerarşilerini değil, genel olarak biçimsel dilleri (dizgiler kümesi) tanımlamayı ele alan matematiksel teoriler arıyorum.

22 formal-languages  formal-grammars 

Derleyici tasarımında, dilbilgisinde sol özyineleme neden ortadan kaldırılmalıdır? Sonsuz bir özyinelemeye neden olabileceği için okuyorum, ama doğru bir özyinelemeli dilbilgisi için de doğru değil mi?

20 formal-grammars  compilers  left-recursion 

Let en dikkate iki bağlamdan-bağımsız dilbilgisi ve G 2 ve aşağıdaki soruyu sorun: Is L ( G 1 ) = L ( G 2 ) , iki dilbilgisi eşdeğerdir edilir?G,1G,1G_1G,2G,2G_2L ( G1) = L ( G2)L(G,1)=L(G,2)L(G_1) = L(G_2) Genel olarak, bu problem çözülemez. Ancak, her iki durumunda ve G 2 …

19 formal-languages  context-free  formal-grammars 

Göre bu Wikipedia makalesinde , sınırsız dilbilgisi Turing makineleri eşdeğerdir. Makale, herhangi bir Turing makinesini sınırsız bir dilbilgisine dönüştürebileceğimi not ediyor, ancak sadece bir dilbilgisinin Turing makinesine nasıl dönüştürüleceğini gösteriyor. Gerçekten bunu nasıl yaparım ve Turing makinesini tanıyan dilini kısıtlamasız bir dilbilgisine dönüştürürüm? Geçiş kurallarını dilbilgisi kurallarıyla değiştirmeyi denedim, ancak …

19 formal-grammars  turing-machines  simulation 

Bağlamdan bağımsız bir dilbilgisi, bir otomattaki "ölü haller" gibi G=({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G=({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G = \big(\{a, b, c\}, \{A, B, C\}, \{A\to aB, B\to b, B\to C, C\to cC\}, A\big)\,? ve üretim kuralları sonsuza dek dönecek ve asla bir kelime üretmeyecektir. Buna izin veriliyor mu yoksa üretim kuralları bir noktada bir terminalle mi sona …

18 context-free  automata  formal-grammars