Запитання з тегом «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 

Наступні контекстно-вільної граматики являє «обірваних ще» тип неоднозначності (уявіть собі , що означає і означає і позначає який - то іншої команди або блоку): Наприклад, може бути проаналізований як або як (це найпростіше / найкоротше неоднозначне слово для цієї граматики).aaaif expr thenbbbelsecccS→aSbS|aS|cS→aSbS|aS|c \begin{aligned} S &\rightarrow aSbS \;|\; aS \;|\; c\\ …

9 context-free  formal-grammars  parsers  ambiguity 

Використання вектора Ерлі в якості розпізнавача є досить простим: коли досягне кінець рядка, потрібно просто перевірити, чи завершено аксіоматичне виробництво, розпочате в положенні 0. Якщо у вас є принаймні один, то рядок приймається. Використання вектора Ерлі для реконструкції дерева (ив) розбору менш очевидно. Насправді я не можу зрозуміти, як працює …

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