Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://hdl.handle.net/11701/26780
Полная запись метаданных
Поле DC | Значение | Язык |
---|---|---|
dc.contributor.advisor | Христос Капуцис | ru_RU |
dc.contributor.advisor | Hristos Kapucis | en_GB |
dc.contributor.author | Петров Семен Андреевич | ru_RU |
dc.contributor.author | Petrov Semen Andreevic | en_GB |
dc.contributor.editor | Охотин Александр Сергеевич | ru_RU |
dc.contributor.editor | Ohotin Aleksandr Sergeevic | en_GB |
dc.date.accessioned | 2021-03-26T09:36:08Z | - |
dc.date.available | 2021-03-26T09:36:08Z | - |
dc.date.issued | 2020 | |
dc.identifier.other | 054426 | en_GB |
dc.identifier.uri | http://hdl.handle.net/11701/26780 | - |
dc.description.abstract | В дипломной работе оценивается число состояний одностороннего однозначного конечного автомата (UFA), необходимое для симуляции двустороннего однозначного конечного автомата (2UFA) с $n$ состояниями. В работе доказывается, что 2UFA с $n$ состояниями может быть переведён в UFA с менее чем $2^n \cdot n!$ состояниями. С другой стороны, для всякого $n$ существует язык, распознаваемый двусторонним детерминированным конечным автоматом (2DFA) с $n$ состояниями, для распознавания которого UFA требуется не менее $\Omega(9^n \cdot n^{-3/2})$ состояний. Последний результат получен с помощью оценивания ранга определённой матрицы с использованием методов теории представлений групп. | ru_RU |
dc.description.abstract | 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. | en_GB |
dc.language.iso | ru | |
dc.subject | Двусторонние конечные автоматы | ru_RU |
dc.subject | однозначные конечные автоматы | ru_RU |
dc.subject | описательная сложность | ru_RU |
dc.subject | теория представлений групп | ru_RU |
dc.subject | Two-way finite automata | en_GB |
dc.subject | unambiguous finite automata | en_GB |
dc.subject | descriptional complexity | en_GB |
dc.subject | group representation theory | en_GB |
dc.title | Complexity of transforming two-way finite automata to unambiguous finite automata | en_GB |
dc.title.alternative | Сложность преобразования двусторонних конечных автоматов в однозначные односторонние | ru_RU |
Располагается в коллекциях: | BACHELOR STUDIES |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
thesis_s_a_petrov.pdf | Article | 901,92 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_petrov_2020_bsc_supervisor.pdf | ReviewSV | 114,51 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.