?
Исследование функции высоты контекстно-свободных языков
С. 128–130.
Rubtsov A. A.
Language:
Russian
In book
Т. 1: Управление и прикладная математика. , Долгопрудный: МФТИ, 2013.
Sergei Valentinovich Fedorenko, IEEE Access 2023 Vol. 11 P. 62771–62779
The novel methods for binary discrete Fourier transform (DFT) computation over the finite field have been proposed. The methods are based on a binary trace calculation over the finite field and use the cyclotomic DFT. The direct DFT computational complexity has been reduced due to using the binary trace function over the finite field and ...
Added: July 19, 2023
Rubtsov A. A., На правах рукописи, 2016.
В диссертации исследуется задача регулярной реализуемости, которая состоит в проверке пересечения фиксированного языка (параметра задачи) с регулярным языком на входе задачи. Основная часть работа посвящена исследованию вычислительной сложности задачи для КС-фильтров. ...
Added: November 1, 2018
Rubtsov A. A., , in: Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings.: Cham: Springer, 2018. P. 553–565.
We present a new structural lemma for deterministic con- text free languages. From the first sight, it looks like a pumping lemma, because it is also based on iteration properties, but it has significant distinctions that makes it much easier to apply. The structural lemma is a combinatorial analogue of KC-DCF-Lemma (based on Kolmogorov complexity), ...
Added: September 12, 2018
Rubtsov A. A., Vyalyi M., , in: Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, ProceedingsVol. 10846.: Springer, 2018. P. 295–307.
We consider a computational model which is known as set automata.
The set automata are one-way finite automata with an additional storage—the set. There are two kinds of set automata—the deterministic and the nondeterministic ones. We denote them as DSA and NSA respectively. The model was introduced by Kutrib et al. in 2014 in [2, 3].
In this ...
Added: June 21, 2018
Серебряков В. А., Гончар Д. Р., Rubtsov A. A. et al., МФТИ, 2017.
Содержит программу, список литературы и задачи одноимённого курса, читаемого студентам факультета управления и прикладной математики МФТИ (ГУ). Задачи могут быть использованы в качестве упражнений на семинарских занятиях, заданий, экзаменационного материала, а также при самостоятельном освоениии курса. ...
Added: October 20, 2017
Vyalyi M., Rubtsov A. A., Проблемы передачи информации 2015 Т. 51 № 4 С. 47–59
We consider regular realizability problems, which consist in verifying whether the intersection of a regular language which is the problem input and a fixed language (filter) which is a parameter of the problem is nonempty. We study the algorithmic complexity of regular realizability problems for context-free filters. This characteristic is consistent with the rational dominance ...
Added: February 14, 2016
Rubtsov A. A., В кн.: Труды IX Международной конференции "Дискретные модели в теории управляющих систем".: М.: МАКС Пресс, 2015. С. 207–210.
В работе исследована вычислительная сила детерминированных и недетерминированных автомтаов со словарём. ...
Added: August 25, 2015
Rubtsov A. A., В кн.: Труды 57-й научной конференции МФТИ — Всероссийской научной конференции с международным участием «Актуальные проблемы фундаментальных и прикладных наук в области физики», Всероссийской молодежной научной конференции с международным участием «Актуальные проблемы фундаментальных и прикладных наук в современном информационном обществе».Т. 1: Управление и прикладная математика.: М.: МФТИ, 2014. С. 123–125.
В работе приведены примеры различных языков, распознаваемых автоматами со словарём и исследована их вычислительная сложность. ...
Added: August 25, 2015
Rubtsov A. A., Vyalyi M., , in: Descriptional Complexity of Formal SystemsVol. 9118.: Switzerland: Springer, 2015. P. 256–267.
We investigate regular realizability (RR) problems, which are the prob- lems of verifying whether intersection of a regular language – the input of the problem – and fixed language called filter is non-empty. In this pa- per we focus on the case of context-free filters. Algorithmic complexity of the RR problem is a very coarse ...
Added: August 25, 2015
Birukov I., М.: МГИЭМ, 2010.
Курс «Теория автоматов» является одним из фундаментальных курсов для дальнейшего изучения всех дисциплин, связанных с аппаратной частью ЦВМ. Данный курс формировался постепенно, складываясь из предшествующих ему курсов: «Арифметические и логические основы цифровых автоматов» и «Прикладная теория цифровых автоматов». Автор долгое время читал предыдущие курсы и в настоящее время читает этот курс. За время чтения лекций ...
Added: February 25, 2015
Birukov I., М.: МГИЭМ, 2012.
Курс «Теория автоматов» является одним из фундаментальных курсов для дальнейшего изучения всех дисциплин, связанных с аппаратной частью ЦВМ. Данный курс формировался постепенно, складываясь из предшествующих ему курсов: «Арифметические и логические основы цифровых автоматов» и «Прикладная теория цифровых автоматов». Автор долгое время читал предыдущие курсы и в настоящее время читает этот курс. За время чтения лекций ...
Added: February 25, 2015
Birukov I., М.: МГИЭМ, 2010.
Курс «Теория автоматов» является одним из фундаментальных курсов для дальнейшего изучения всех дисциплин, связанных с аппаратной частью ЦВМ. Данный курс формировался постепенно, складываясь из предшествующих ему курсов: «Арифметические и логические основы цифровых автоматов» и «Прикладная теория цифровых автоматов». Автор долгое время читал предыдущие курсы и в настоящее время читает этот курс. За время чтения лекций ...
Added: February 25, 2015
Vyalyi M., Rubtsov A. A., Дискретный анализ и исследование операций 2012
Работа посвящена двум алгоритмическим задачам, связанным с анализом поведения конечного автомата при чтении сверхслова (бесконечной последовательности): достигает ли автомат принимающего состояния и достигает ли он принимающего состояния бесконечно часто. Первая задача возникает при анализе моделей обобщённого недетерминизма, а вторая – при анализе разрешимости монадических теорий второго порядка. Получены новые условия разрешимости для этих задач. Доказано, что всякая задача ...
Added: October 17, 2014
Rubtsov A. A., В кн.: Проблемы теоретической кибернетики. Материалы XVII международной конференции.: Каз.: Отечество, 2014. С. 246–248.
В работе исследуется задача регулярной реализуемости: алгоритмическая задача проверки непустоты пересечения регулярного языка на входе и фиксированного языка-фильтра, который является параметром задачи, — в случае контекстно-свободного фильтра. ...
Added: October 17, 2014