M
Это все еше грамматика, только добавляется оператор помимо, вроде магмы
Size: a a a
2021 February 19
M
Или полукольца хз где там +/* + set
YS
ну вот, а почему не _доказывают_ однозначность? игра не стоит свеч?
Я не знаю, например. Может, ещё кто-то знает?
Мне кажется, что примерно по той же причине, почему для каждой написанной программы не доказывают, что она останавливается при всех возможных входах. ;)
Мне кажется, что примерно по той же причине, почему для каждой написанной программы не доказывают, что она останавливается при всех возможных входах. ;)
YS
Для какого небольшого
Для LALR точно. И, кажется, всё (но могу врать, проверьте точнее, если интересует).
K
Вывод примерно следуюший - берешь парс ген? Будь готов стать разработчиком парсгена
Потому и взял!
M
Я понял что пытается сказать Ярослав
YS
Что значит нечто внешне похожее
Это значит то, что вместо декларативного определения получается что-то с [примерно] таким же синтаксисом, но "работающее" по другим принципам.
K
Yaroslav Schekin
Для LALR точно. И, кажется, всё (но могу врать, проверьте точнее, если интересует).
LR тоже однозначен
M
Изобрести гоаматику которую пока не спарсишь не скажешь есть ли неразрешимая неоднозначность можно
M
Но не нужно
YS
LR тоже однозначен
Ну да, "An ambiguous grammar can never be LR." Dragon book.
Я просто не помню, доказывается ли это по самой грамматике или нет.
Я просто не помню, доказывается ли это по самой грамматике или нет.
YS
Но не нужно
Но удастся. ;) По крайней мере, в прошлом уже неоднократно удавалось (и получался вариант, когда об этом сообщали "благодарные" пользователи после какого-то времени использования языка).
K
Yaroslav Schekin
Ну да, "An ambiguous grammar can never be LR." Dragon book.
Я просто не помню, доказывается ли это по самой грамматике или нет.
Я просто не помню, доказывается ли это по самой грамматике или нет.
Помоему, это тривиально следует из того, что у таблицы разбора не более 1 элемента на ячейку
YS
Помоему, это тривиально следует из того, что у таблицы разбора не более 1 элемента на ячейку
А, ну да. :)
M
Так вот тут сразу понятна проблема
M
Что такое LR(1)?
M
Это алгоритм разбора нагладываюший некоторые ограничения на разбираемую граммматику
M
Так что то что написанно в драгон буке приблизительно ничего не значит
M
Это как сказать что корова не отопительная система
M
В теких терминах проблема никогда и не будет решена