Вопросы с тегом «ambiguity»

Я понимаю, что если существует 2 или более левых или правых деривационных деревьев, то грамматика неоднозначна, но я не могу понять, почему это так плохо, что все хотят от нее избавиться.

30 compilers  ambiguity 

Моя проблема в том, как я могу доказать, что грамматика однозначна? У меня есть следующие грамматики: 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 } …

25 context-free  formal-grammars  proof-techniques  ambiguity 

Указанные языки и , скажем , что их конкатенация является однозначной , если для всех слов , существует ровно один разложение с и , и неоднозначном иначе. (Я не знаю, есть ли установленный термин для этого свойства - трудная вещь для поиска!) В качестве тривиального примера, конкатенация с самим собой …

16 algorithms  formal-languages  computability  regular-languages  ambiguity 

Следующая контекстно-свободная грамматика представляет неоднозначность типа «висящее другое» (представьте, что обозначает, а обозначает, а обозначает какой-то другой вид инструкции или блока): Например, может быть проанализирован как или как (это самое простое / самое короткое неоднозначное слово для этой грамматики).б с Saaaif expr thenбbbelseсcc aacbc(a(acbc))(a(ac)bc)S→ Sб S|а S|сS→aSbS|aS|c \begin{aligned} S &\rightarrow …

9 context-free  formal-grammars  parsers  ambiguity 

Использовать вектор Эрли в качестве распознавателя довольно просто: когда достигается конец строки, вам просто нужно проверить завершенную аксиоматическую постановку, начатую в позиции 0. Если у вас есть хотя бы один, тогда строка принимается. Использование вектора Эрли для восстановления дерева (ов) синтаксического анализа менее очевидно. На самом деле, я не могу …

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