Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://hdl.handle.net/11701/26785
Полная запись метаданных
Поле DC | Значение | Язык |
---|---|---|
dc.contributor.advisor | Григорьев Семен Вячеславович | ru_RU |
dc.contributor.advisor | Grigorev Semen Vaceslavovic | en_GB |
dc.contributor.author | Ольховский Илья Сергеевич | ru_RU |
dc.contributor.author | Olhovskij Ila Sergeevic | en_GB |
dc.contributor.editor | Охотин Александр Сергеевич | ru_RU |
dc.contributor.editor | Ohotin Aleksandr Sergeevic | en_GB |
dc.date.accessioned | 2021-03-26T09:36:09Z | - |
dc.date.available | 2021-03-26T09:36:09Z | - |
dc.date.issued | 2020 | |
dc.identifier.other | 059629 | en_GB |
dc.identifier.uri | http://hdl.handle.net/11701/26785 | - |
dc.description.abstract | В работе показывается, что всякую LL(k)-линейную грамматику можно преобразовать к равносильной LL(1)-линейной грамматикой, то есть для линейных грамматик не существует иерархии по количеству заранее просматриваемых следующих символов. Преобразование ведёт к росту числа нетерминальных символов в m^{2k-O(1)} раз, где m --- размер алфавита. Получена близкая нижняя оценка: для некоторых LL(k)-линейных грамматик с n нетерминальными символами всякая равносильная LL(1)-линейная грамматика должна иметь хотя бы n \cdot (m-1)^{2k-O(\log k)} нетерминальных символов. Также доказывается, что конъюнктивные LL(k)-линейные грамматики можно преобразовать к конъюнктивным LL(1)-линейным грамматикам обобщением того же самого метода. | ru_RU |
dc.description.abstract | It is proved that every LL(k)-linear grammar can be transformed to an equivalent LL(1)-linear grammar. that is, for linear grammars there is no hierarchy with respect to the length of the look-ahead. The transformation incurs a blow-up in the number of nonterminal symbols by a factor of m^{2k-O(1)}, where m is the size of the alphabet. A close lower bound is established: for certain LL(k)-linear grammars with n nonterminal symbols, every equivalent LL(1)-linear grammar must have at least n \cdot (m-1)^{2k-O(\log k)} nonterminal symbols. It is also proved that conjunctive LL(k)-linear grammars can be transformed to conjunctive LL(1)-linear grammar by a generalization of the same method. | en_GB |
dc.language.iso | ru | |
dc.subject | Линейные грамматики | ru_RU |
dc.subject | LL-грамматики | ru_RU |
dc.subject | синтаксический анализ | ru_RU |
dc.subject | описательная сложность | ru_RU |
dc.subject | конъюнктивные грамматики | ru_RU |
dc.subject | Linear grammars | en_GB |
dc.subject | LL grammars | en_GB |
dc.subject | parsing | en_GB |
dc.subject | descriptional complexity | en_GB |
dc.subject | conjunctive grammars | en_GB |
dc.title | Complexity of transforming LL(k)-linear and LL(k)-linear conjunctive grammars to LL(1)-linear | en_GB |
dc.title.alternative | Сложность преобразования LL(k)-линейных и LL(k)-линейных конъюнктивных грамматик в LL(1)-линейные | ru_RU |
Располагается в коллекциях: | BACHELOR STUDIES |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
diploma_merged_last.pdf | Article | 834,81 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_olkhovsky_2020_bsc_supervisor.pdf | ReviewSV | 128,8 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.