«ambiguity» etiketlenmiş sorular

2 veya daha fazla sol veya sağ türetme ağacı varsa, o zaman dilbilgisinin belirsiz olduğunu, ancak neden herkesin ondan kurtulmak istediğini bu kadar kötü anlayamadığımı anlıyorum.

30 compilers  ambiguity 

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 

Verilen diller AAA ve , en kendi birleştirme diyelim olduğu kesin tüm kelimeleri eğer , bir ayrışma tam orada ile ve ve belirsiz aksi. (Bu özellik için belirlenmiş bir terim olup olmadığını bilmiyorum - aramak zor bir şey!) Önemsiz bir örnek olarak, kendisiyle birleştirilmesi belirsizdir ( ), ancak kendisiyle birleşmesi …

16 algorithms  formal-languages  computability  regular-languages  ambiguity 

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

9 context-free  formal-grammars  parsers  ambiguity 

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

9 context-free  dynamic-programming  parsers  ambiguity  syntax-trees