Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
It is proved that every LL(k)-linear grammar can be transformed to an equivalent LL(1)-linear grammar. The transformation incurs a blow-up in the number of nonterminal symbols by a factor of (formula presented), 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 (formula presented) nonterminal symbols.
Язык оригинала | английский |
---|---|
Название основной публикации | Computer Science – Theory and Applications - 15th International Computer Science Symposium in Russia, CSR 2020, Proceedings |
Редакторы | Henning Fernau |
Издатель | Springer Nature |
Страницы | 328-340 |
Число страниц | 13 |
ISBN (печатное издание) | 9783030500252 |
DOI | |
Состояние | Опубликовано - 1 июн 2020 |
Событие | 15th International Computer Science Symposium in Russia, CSR 2020 - Yekaterinburg, Российская Федерация Продолжительность: 29 июн 2020 → 3 июл 2020 |
Название | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Том | 12159 LNCS |
ISSN (печатное издание) | 0302-9743 |
ISSN (электронное издание) | 1611-3349 |
конференция | 15th International Computer Science Symposium in Russia, CSR 2020 |
---|---|
Страна/Tерритория | Российская Федерация |
Город | Yekaterinburg |
Период | 29/06/20 → 3/07/20 |
ID: 61323684