ПО, ЭВМ и АСУ из Таможенного Союза

Информация о пользователе

Привет, Гость! Войдите или зарегистрируйтесь.


Вы здесь » ПО, ЭВМ и АСУ из Таможенного Союза » контекстно-свободные грамматики » Построение канонической таблицы для LR(1) разбора


Построение канонической таблицы для LR(1) разбора

Сообщений 1 страница 7 из 7

1

[html]<a href="http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.361.8867&rep=rep1&type=pdf">1965, Knuth, On the Translation of Languages from Left to Right</a> (<a href="http://web.archive.org/web/20171107092801/http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.361.8867&rep=rep1&type=pdf">web.archive.org</a>)
<br />
Википедия: <a href="https://en.wikipedia.org/wiki/Canonical_LR_parser">Canonical LR parser</a> (аналогичной русской страницы нет)
<br />
<br />
1977 by David Pager
<br />new type of LR(1) parser was introduced, some people call a "minimal LR(1) parser"
<br />
which not only solve the memory requirement problem, but also the mysterious-conflict-problem inherent in LALR(1) parser generators
[/html]
Празднуем 40-летие технологии.

Лисоплан 2017 сорван. Потому что не надо делать LALR-парсер, надо делать либо "minimal LR(1) parser" либо какой-нибудь обобщённый. И никто не подсказал, что план был неправильный. Эксперты, блин, с 25-летним опытом, блин.

Отредактировано Лис (2017-11-07 12:30:04)

0

2

Лис написал(а):

И никто не подсказал, что план был неправильный. Эксперты, блин, с 25-летним опытом, блин.

Павиа чего-то пытался Вам донести=)
А зачем надо было делать указанный парсер, а теперь другой?

Отредактировано MihalNik (2017-11-07 04:26:29)

0

3

Our construction is based on the notion of a "state," which will be denoted by [p, j; a]; here p is the number of a production, 0 <= j <= np, and a is a k-letter string of terminals.

Теорема 1. для любого КС-языка существует LR(1)-грамматика

[html]<a href="https://en.wikipedia.org/wiki/LR_parser">https://en.wikipedia.org/wiki/LR_parser</a>[/html]

Почему сейчас не применяются "несколькорукие" парсеры? Которые LR(k, t).

Подкласс "простых детерминированных языков" совпадает с классом КС-языков?

Отредактировано Лис (2017-11-07 12:38:56)

0

4

По-русски то нельзя читать что ли? [html]<a href="http://trpl7.ru/t-books/Knuth_D_Cont_Free_Grammers_and_MPA_1965.pdf">http://trpl7.ru/t-books/Knuth_D_Cont_Free_Grammers_and_MPA_1965.pdf</a> (<a href="http://web.archive.org/web/20171107093115/http://trpl7.ru/t-books/Knuth_D_Cont_Free_Grammers_and_MPA_1965.pdf">web.archive.org</a>)[/html]
Все равно оторванные от контекста предложения никому не интересны.
ЗЫ. Там в конце книжонки еще список литературы.

Отредактировано utkin (2017-11-07 10:18:46)

0

5

utkin написал(а):

По-русски то нельзя читать что ли?

Можно, но получается хуже. По многим причинам:
1) перевод составляли люди, не понимающие того, что они переводят. Такой вывод можно сделать из опечаток, например "конгексно-свободные";
2) при переводе ёмкие метафоры были заменены на другие (например английская визуальная аналогия "hand" была заменена на невнятное "основа");
3) мне потом читать другие связанные работы, переводов для этих более свежих работ нет, а чтобы понимать термины в новых работах нужно изучить (оригинальные) термины из старых работ.

0

6

utkin написал(а):

Все равно оторванные от контекста предложения никому не интересны.

Что хотел сказать этой фразой Уткин?

Решил я почитать его книжку на русском языке. И на 18-ой странице есть предложение

Наша конструкция основана на понятии положения, которое будет обозначаться через [p; j; a]; здесь p - номер продукции, 0<= j <= np, a есть k-буквенная терминальная цепочка

Думаю: "ну, наверное, кто-нибудь в интернете уже разбирал этот текст и сейчас я его поиском найду". Ищу, и его нет!

А текст написан (переведён?) плохо. Слишком сжато. Не надо так писать, если можно писать лучше, понятнее, нагляднее.

В частности, в этом абзаце надо было не полениться, и выписать - что же такое np.
Если бы это был гипертекст, то тут могла бы быть гиперссылка на то место в тексте, где это np описывается.

Но как я уже писал выше, в интернете этот текст никто не разбирал детально (мне найти не удалось)

Можно сделать преположение (догадку) о том, что np здесь это количество символов в правиле с индексом p (исходя из слов в последнем предложении этого абзаца). Но все такие догадки требуют времени на саму догадку, на проверку её корректности, на доказывание правильности именно такого варианта понимания другим людям. Всего этого (ненужных расходов) можно было бы избежать написав более понятный текст.

Заодно хотел спросить: MihalNik - ты скорее программист или скорее переводчик? Если второе, то смотри, что получается от переводов. Люди знают, что перевод есть, и больше никогда не занимаются углублённым изучением темы.

Отредактировано Лис (2019-01-03 08:24:28)

0

7

Лис написал(а):

Если бы это был гипертекст

Поэтому литература бумажного направления - зло.

Лис написал(а):

скорее программист или скорее переводчик?

Разве программист это не переводчик с человеческого языка на машинопонятный?

Лис написал(а):

Люди знают, что перевод есть

Или знают что хорошего перевода нет. Или интересующихся соотв. темой крайне мало и явно крайне мало - соотв. книгой (что уже намекает на отсутствие хорошего перевода).
Или знают, что описываемая теория - костыль. А костыль, разумеется, там жуткий. Как и получающиеся языки.

Отредактировано MihalNik (2019-01-03 12:42:48)

0


Вы здесь » ПО, ЭВМ и АСУ из Таможенного Союза » контекстно-свободные грамматики » Построение канонической таблицы для LR(1) разбора