M
Что происходит
Size: a a a
2021 February 19
H
написание программы алгоритмически неразрешимо. в общем случае)
M
Мы точно об одном и том же
YS
Не, работ много
Серьёзно?! ;) Покажите хоть одну с решением для произвольных грамматик (см. выше).
M
написание программы алгоритмически неразрешимо. в общем случае)
Шас кину тебе папиру, но будешь ты это делать или нет?
YS
много у нас алгоритмически неразрешимых задач
Ну так эвристики есть, и их даже кто-то практически использует (как пишут).
H
Yaroslav Schekin
Ну так эвристики есть, и их даже кто-то практически использует (как пишут).
эвристики чтобы прям построение доказательства однозначности грамматики?
H
а не просто скан частых случаев неоднозначности (biliteral recursion etc)
M
эвристики чтобы прям построение доказательства однозначности грамматики?
Обозначь в чем проблема
YS
Я про висячий if к примеру
"Висячий else", в смысле? И да, эту проблему решают двумя путями — либо исправлением грамматики, либо постобработкой (это то, что я имел в виду под "передача" части грамматики на следующий этап разбора).
M
Нет, я говорю сама грамматика содержит правила прецидента
M
Ну это же бизон содержит правила прецидента, тоесть метаграмматика, тоесть сам бизон как генератор может это разрешать
YS
Просто генератор не упс я не могу shift/reduce а говорит, все ясно
И это возможно в общем случае только для небольшого класса грамматик (это ещё одна причина, по которой так любят LALR).
M
Ничего не нужно переписывать просто берем, пишим атрибуты и готово, в этом смысл, в этом вся суть
YS
эвристики чтобы прям построение доказательства однозначности грамматики?
Нет, для нахождения неоднозначности, конечно.
M
Yaroslav Schekin
И это возможно в общем случае только для небольшого класса грамматик (это ещё одна причина, по которой так любят LALR).
Для какого небольшого
YS
Нет, я говорю сама грамматика содержит правила прецидента
Тогда это уже не грамматика (а просто что-то похожее на неё внешне).
Аналогично PEG, например.
Аналогично PEG, например.
H
Yaroslav Schekin
Нет, для нахождения неоднозначности, конечно.
ну вот, а почему не _доказывают_ однозначность? игра не стоит свеч?
M
Что значит нечто внешне похожее