title: Complexity of transforming two-way finite automata to unambiguous finite automata
metadata.name: dc.contributor.advisor
metadata.value: Христос Капуцис
metadata.lang: ru_RU
metadata.name: dc.contributor.advisor
metadata.value: Hristos Kapucis
metadata.lang: en_GB
metadata.name: dc.contributor.author
metadata.value: Петров Семен Андреевич
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Petrov Semen Andreevic
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:08Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2021-03-26T09:36:08Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2020
metadata.name: dc.identifier.other
metadata.value: 054426
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/26780
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: В дипломной работе оценивается число состояний одностороннего однозначного конечного автомата (UFA),
  необходимое для симуляции двустороннего однозначного конечного автомата (2UFA) с $n$ состояниями.
  В работе доказывается, что 2UFA с $n$ состояниями может быть переведён
  в UFA с менее чем $2^n \cdot n!$ состояниями.
  С другой стороны, для всякого $n$ существует язык, распознаваемый двусторонним детерминированным конечным автоматом (2DFA) с $n$ состояниями, для распознавания которого UFA требуется не менее $\Omega(9^n \cdot n^{-3/2})$ состояний.
  Последний результат получен с помощью оценивания ранга определённой матрицы с использованием методов теории представлений групп.
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: The thesis estimates the number of states in an one-way unambiguous finite automaton (UFA)
  that is sufficient and in the worst case necessary
  to simulate an $n$-state two-way unambiguous finite automaton (2UFA).
  It is proved that a 2UFA with $n$ states
  can be transformed to a UFA with fewer than $2^n \cdot n!$ states.
  On the other hand, for every $n$, there is a language recognized by an $n$-state 
  two-way deterministic automaton (2DFA)
  that requires a UFA with at least $\Omega(9^n \cdot n^{-3/2})$ states.
  The latter result is proved by estimating a rank of a certain matrix
  using the methods of group representation theory.
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: однозначные конечные автоматы
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: Two-way finite automata
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: unambiguous finite automata
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: descriptional complexity
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: group representation theory
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Complexity of transforming two-way finite automata to unambiguous finite automata
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Сложность преобразования двусторонних конечных автоматов в однозначные односторонние
metadata.lang: ru_RU
resources.filename: thesis_s_a_petrov.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/26780/1/thesis_s_a_petrov.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 901,92 kB
resources.filename: reviewSV_petrov_2020_bsc_supervisor.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/26780/2/reviewSV_petrov_2020_bsc_supervisor.pdf
resources.format: Adobe PDF
resources.description: ReviewSV
resources.size: 114,51 kB