Я не знаю, является ли это правильным сайтом, чтобы спросить об этом. Но мы изучаем неоднозначность грамматики. Включая самый левый вывод и самый правый вывод. Моя практическая проблема заключается в следующем:
E -> E * E | E + E | N
N -> 0N | 1N |
Output: 0110 + 110 * 01111
Есть ли способ сделать его двусмысленным? И есть ли какие-нибудь советы, как сделать грамматику неоднозначной?
Учитывая вашу грамматику, это явно двусмысленно. Здесь он не определяет предпочтения между операторами + и *.
Как вы сказали, если вам нужно разобрать этот 0110 + 110 * 01111, это можно сделать двумя способами: -
0110 + 110 * 01111 ----> (0110 + 110) * 01111
0110 + 110 * 01111 ----> 0110 + (110 * 01111)
Таким образом, эта грамматика довольно неоднозначна, поскольку не определяет приоритет оператора. Также не предусмотрена ассоциативность операторов.
Очевидно, что устранение неоднозначности за счет указания различий между конфликтующими случаями зависит от правил производства, заданных грамматикой. Некоторые вещи, возникающие при анализе сверху вниз, - это левое факторинг и левая рекурсия, приводящие к неоднозначным грамматикам.
Вы должны увидеть устранение левой рекурсии и другие связанные учебные пособия, поскольку было бы слишком широко указывать правила.
E -> E * E | E + E | 0E | 1E, потому что я пытаюсь сделать это одной строкой. Или это можно сделать одной строкой?
- person Yodism; 18.01.2015
E-> E';, а затем попытаться решить эту проблему.
- person Am_I_Helpful; 18.01.2015
E -> E + E неоднозначно само по себе, поскольку оно не определяет ассоциативность +? То есть a + b + c может быть проанализировано либо как (a + b) + c, либо как a + (b + c). Несмотря на то, что в обычной арифметике результат один и тот же, результаты могут быть другими, если мы, например, складываем числа с плавающей запятой.
- person jacobq; 18.12.2015
