Если Вы внесли какие-либо изменения в Pure, они скоро будут видимы здесь.

Личный профиль

Образование/академическая квалификация

Физико-математические науки, кандидат наук, Министерство науки и высшего образования Российской Федерации

10 фев 2016 → …

Отпечаток Отпечаток основан на индексе взвешенных терминов, извлеченных из научных документов, и определяет ключевые темы исследователя.

  • 1 Похожие профили
Automata Математика
Regular Languages Математика
Finitely Generated Математика
Language Математика
Binary Математика
De Bruijn Graph Математика
Deterministic Finite Automata Математика
Quotient Математика

Сеть Недавняя внешняя коллаборация на уровне стран. Углубитесь в детали нажатием на точки.

Проекты 2013 2013

  • 1 Активный

Результат исследований 2013 2019

  • 17 Цитирования
  • 3 h-индекс
  • 4 Статья
  • 3 Материалы конференции

Reset Complexity of Ideal Languages Over a Binary Alphabet

Maslennikova, M., 2019, В : International Journal of Foundations of Computer Science. 30, 6-7, стр. 1177-1196 20 стр.

Результат исследований: Вклад в журналСтатьяНаучно-исследовательскаярецензирование

Trim strongly connected synchronizing automata and ideal languages

Maslennikova, M. & Rodaro, E., 1 янв 2018, В : Fundamenta Informaticae. 162, 2-3, стр. 183-203 21 стр.

Результат исследований: Вклад в журналСтатьяНаучно-исследовательскаярецензирование

Automata
Quotient
Finitely Generated
Language
Series
1 цитирование (Scopus)

Reset complexity of ideal languages over a binary alphabet

Maslennikova, M., 2017, Descriptional Complexity of Formal Systems - 19th IFIP WG 1.02 International Conference, DCFS 2017, Proceedings. Springer Verlag, Том 10316 LNCS. стр. 262-273 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10316 LNCS).

Результат исследований: Глава в книге, отчете, сборнике статейМатериалы конференцииНаучно-исследовательскаярецензирование

Binary
Automata
Completeness
Language
2 Цитирования (Scopus)

Representation of (Left) ideal regular languages by synchronizing automata

Maslennikova, M. & Rodaro, E., 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Том 9139. стр. 325-338 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 9139).

Результат исследований: Глава в книге, отчете, сборнике статейМатериалы конференцииНаучно-исследовательскаярецензирование

Formal languages
Regular Languages
Finite automata
Automata
Quotient
4 Цитирования (Scopus)

Complexity of Checking Whether Two Automata Are Synchronized by the Same Language

Maslennikova, M., 2014, DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2014. Jurgensen, H., Karhumaki, J. & Okhotin, A. (ред.). Springer Verlag, Том 8614 LNCS. стр. 306-317 12 стр. (Lecture Notes in Computer Science; том 8614).

Результат исследований: Глава в книге, отчете, сборнике статейМатериалы конференцииНаучно-исследовательскаярецензирование

Automata
Deterministic Finite Automata
Language