title: Complexity of conjunctive linear LL(k) grammars
metadata.name: dc.contributor.advisor
metadata.value: Семёнов Александр Анатольевич
metadata.lang: ru_RU
metadata.name: dc.contributor.advisor
metadata.value: Semenov Aleksandr Anatolevic
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: 2023-04-06T21:48:55Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2023-04-06T21:48:55Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2022
metadata.name: dc.identifier.other
metadata.value: 059629
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/39879
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: Линейные конъюнктивные грамматики -- это класс линейных формальных грамматик, в которых правила могут включать операцию пересечения (конъюнкции). Известно, что этот класс вычислительно эквивалентен классу one-way real-time cellular automata,
  also known as trellis automata. (????). В этой работе изучается сложность синтаксического анализа и исправления ошибок для подкласса LL(k) линейных конъюнктивных грамматик, определяемого по аналогии с обыкновенными LL(k) грамматиками: для грамматик из этого подкласса применим алгоритм синтаксического анализа за линейное время, который строит дерево разбора сверху вниз по мере чтения строки слева направо, выбирая очередное правило, которое следует применить, исходя из следующих k символов строки.
  Представлено четыре результата.
  Во-первых, каждая LL(k) линейная конъюнктивная грамматика может быть
  преобразовага к LL(1) линейной конъюнктивной грамматике, что приводит к схлопыванию
  иерархии относительно параметра k.
  Во-вторых, построен синтаксический анализатор, который работает за линейное время
  и использует логарифмическую память, и тем самым доказано, что класс LL(k) линейных
  конъюнктивных грамматик содержится в классе сложности L.
  В-третьих, доказано, что в предположении, что задача WCS не лежит в классе сложности FPT, задача исправления k ошибок в языке, задаваемом линейной конъюнктивной грамматикой, в общем случае также не лежит в классе сложности FPT.
  В-четвертых, построен полиномиальный алгоритм исправления k ошибок для пересечения языков, задаваемых грамматиками из определенного подкласса
  LL(k) линейных грамматик.
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: Linear conjunctive grammars are a family of formal grammars
  with an explicit conjunction operation allowed in the rules,
  which is notable for its computational equivalence to one-way real-time cellular automata,
  also known as trellis automata.
  This paper investigates parsing and error correction complexity for the LL(k) subclass of linear conjunctive grammars,
  defined by analogy with the classical LL(k) grammars:
  these are grammars that admit top-down linear-time parsing with k-symbol lookahead.
  Four results are presented.
  First, every LL(k) linear conjunctive grammar
  can be transformed to an LL(1) linear conjunctive grammar,
  and, accordingly, the hierarchy with respect to k collapses.
  Secondly, a parser for these grammars
  that works in linear time and uses logarithmic space
  is constructed,
  showing that the family of LL(k) linear conjunctive languages
  is contained in the complexity class L.
  Thirdly, unless WCS is in FPT, there is no fixed parameter tractable algorithm for correcting k errors in a language defined by an arbitrary linear conjunctive grammar.
  Fourthly, there is a polynomial algorithm for correcting k errors in an intersection of grammars from a particular subclass of the linear LL(k) family.
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(k) грамматики
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: параметризованная сложность
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: Linear conjunctive grammars
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: LL(k) grammars
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: parsing
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: logarithmic space
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: error correction
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: parameterized complexity
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Complexity of conjunctive linear LL(k) grammars
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Сложность конъюнктивных линейных LL(k) грамматик
metadata.lang: ru_RU
resources.filename: masters_merged_final.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/39879/2/masters_merged_final.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 641,19 kB
resources.filename: reviewSV_olkhovsky_2022_msc_supervisor_signed.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/39879/3/reviewSV_olkhovsky_2022_msc_supervisor_signed.pdf
resources.format: Adobe PDF
resources.description: ReviewSV
resources.size: 95,21 kB
resources.filename: reviewSV_st059629_Olhovskij_Ila_Sergeevic_(supervisor)(Ru).txt
resources.url: https://dspace.spbu.ru/bitstream/11701/39879/4/reviewSV_st059629_Olhovskij_Ila_Sergeevic_%28supervisor%29%28Ru%29.txt
resources.format: Text
resources.description: ReviewSV
resources.size: 4,87 kB