title: Algebraic and analytic methods for grammar ambiguity
metadata.name: dc.contributor.advisor
metadata.value: Артур Еж
metadata.lang: ru_RU
metadata.name: dc.contributor.advisor
metadata.value: Artur Ez
metadata.lang: en_GB
metadata.name: dc.contributor.author
metadata.value: Макаров Владислав Маратович
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Makarov Vladislav Maratovic
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-07-31T18:17:26Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2021-07-31T18:17:26Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2021
metadata.name: dc.identifier.other
metadata.value: 048779
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/30103
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: Эта работа состоит из двух больших более-менее независимых частей.
  
  Первая часть посвящена GF(2)-грамматикам для ограниченных языков.
  Она представляет из себя сильно упрощённую редакцию моей 
  бакалаврской работы с парой новых результатов. Упрощение достигнуто 
  за счёт более аккуратного использования алгебраической структуры
  изучаемых объектов.
  
  Вторая часть  раньше нигде не публиковалась и посвящена
  задача эквивалентности для однозначных грамматик. Получен
  алгоритм для частного случая, когда симметрическая разность
  языков разрежена. Также получен кубический по времени
  алгоритм, сравнивающий языки только по строкам длины n
  Наконец, предъявлен план, который в идеале может свести
  задачу к известной гипотезе в теории PI-колец.
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: This paper consists of two large more-or-less independent parts.
  
  The first part is devoted to study of GF(2)-grammars for bounded languages.
  Compared to my bachelor's thesis, it is massively simplified and contains
  some new results. The simplification arises from paying more attention
  to the algebraic structure of studied objects.
  
  The second part has never been published before. It is devoted to the
  equivalence problem for unambiguous grammars. An algorithm that
  works for the special case of languages with sparse symmetric difference
  is presented.  Also, a cubic-time algorithm that compares only the
  strings of length n (and not the whole languages) is presented.
  Finally, I propose a plan that, ideally, would reduce the problem to
  a known conjecture in the theory of PI-rings.
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: GF(2)-грамматики
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: однозначные грамматики
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: formal languages
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: GF(2)-grammars
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: unambiguous grammars
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Algebraic and analytic methods for grammar ambiguity
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Алгебраические и аналитические методы для доказательства неоднозначности грамматик
metadata.lang: ru_RU
resources.filename: Makarov_23_07.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/30103/1/Makarov_23_07.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 550,92 kB
resources.filename: reviewSV_makarov_2021_msc_supervisor.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/30103/2/reviewSV_makarov_2021_msc_supervisor.pdf
resources.format: Adobe PDF
resources.description: ReviewSV
resources.size: 103,24 kB