Проекты за года
«Отпечаток»
Узнайте самые подробные результаты анализа активности Семен Андреевич Петров. Указанные в этом разделе метки относятся к работам этого человека. Вместе они формируют уникальную картину активности.
- 1 похожих профилей - всего
-
RSF_RG_2018 - 5: Логические и алгебраические методы в теории формальных языков: 2022 г. этап 5
Охотин, А. С., Григорьев, С. В., Петров, С. А., Сажнева, Е. А., Макаров, В. М., Селиванов, В. Л., Мартынова, О. М. & Шеметова, Е. Н.
1/01/22 → 31/12/22
Проект: исполнение гранта/договора › исполнение этапа гранта/договора
-
RSF_RG_2018 - 4: Логические и алгебраические методы в теории формальных языков: 2021 г. этап 4
Охотин, А. С., Григорьев, С. В., Петров, С. А., Сажнева, Е. А., Мрыхин, М. К., Макаров, В. М., Пентус, М. Р., Селиванов, В. Л., Мартынова, О. М. & Шеметова, Е. Н.
30/04/21 → 31/12/21
Проект: исполнение гранта/договора › исполнение этапа гранта/договора
-
RSF_RG_2018 - 3: Логические и алгебраические методы в теории формальных языков: 2020 г. этап 3
Охотин, А. С., Григорьев, С. В., Пентус, М. Р., Селиванов, В. Л., Макаров, В. М., Шеметова, Е. Н., Мартынова, О. М., Петров, С. А., Сажнева, Е. А., Азимов, Р. Ш. & Мрыхин, М. К.
1/01/20 → 31/12/20
Проект: исполнение гранта/договора › исполнение этапа гранта/договора
-
RSF_RG_2018 - 2: Логические и алгебраические методы в теории формальных языков: 2019 г. этап 2
Охотин, А. С., Григорьев, С. В., Пентус, М. Р., Селиванов, В. Л., Сорокин, А. А., Макаров, В. М., Сажнева, Е. А., Азимов, Р. Ш., Шеметова, Е. Н., Мартынова, О. М. & Петров, С. А.
1/01/19 → 31/12/19
Проект: исполнение гранта/договора › исполнение этапа гранта/договора
Результаты исследований
- 1 статья в сборнике материалов конференции
-
On the Transformation of Two-Way Deterministic Finite Automata to Unambiguous Finite Automata
Петров, С. А. & Okhotin, A., фев 2021, Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Proceedings. Leporati, A., Martín-Vide, C., Shapira, D. & Zandron, C. (ред.). Springer Nature, стр. 81-93 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12638 LNCS).Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › рецензирование