title: Complexity of transforming LL(k)-linear and LL(k)-linear conjunctive grammars to LL(1)-linear
metadata.name: dc.contributor.advisor
metadata.value: Григорьев Семен Вячеславович
metadata.lang: ru_RU
metadata.name: dc.contributor.advisor
metadata.value: Grigorev Semen Vaceslavovic
metadata.lang: en_GB
metadata.name: dc.contributor.author
metadata.value: Ольховский Илья Сергеевич
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Olhovskij Ila Sergeevic
metadata.lang: en_GB
metadata.name: dc.contributor.editor
metadata.value: Охотин Александр Сергеевич
metadata.lang: ru_RU
metadata.name: dc.contributor.editor
metadata.value: Ohotin Aleksandr Sergeevic
metadata.lang: en_GB
metadata.name: dc.date.accessioned
metadata.value: 2021-03-26T09:36:09Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2021-03-26T09:36:09Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2020
metadata.name: dc.identifier.other
metadata.value: 059629
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/26785
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: В работе показывается, что всякую 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)-линейным грамматикам
  обобщением того же самого метода.
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: 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.
metadata.lang: en_GB
metadata.name: dc.language.iso
metadata.value: ru
metadata.name: dc.subject
metadata.value: Линейные грамматики
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: LL-грамматики
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: синтаксический анализ
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: описательная сложность
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: конъюнктивные грамматики
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: Linear grammars
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: LL grammars
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: parsing
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: descriptional complexity
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: conjunctive grammars
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Complexity of transforming LL(k)-linear and LL(k)-linear conjunctive grammars to LL(1)-linear
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Сложность преобразования LL(k)-линейных и LL(k)-линейных конъюнктивных грамматик в LL(1)-линейные
metadata.lang: ru_RU
resources.filename: diploma_merged_last.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/26785/1/diploma_merged_last.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 834,81 kB
resources.filename: reviewSV_olkhovsky_2020_bsc_supervisor.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/26785/2/reviewSV_olkhovsky_2020_bsc_supervisor.pdf
resources.format: Adobe PDF
resources.description: ReviewSV
resources.size: 128,8 kB