Результаты

  1. GF(2)-operations on basic families of formal languages

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  2. On hardest languages for one-dimensional cellular automata

    Результаты исследований: Научные публикации в периодических изданиях › статья в журнале по материалам конференции › Рецензирование

  3. On the transformation of two-way finite automata to unambiguous finite automata

    Результаты исследований: Научные публикации в периодических изданиях › статья в журнале по материалам конференции › Рецензирование

Просмотреть все (181) »

Проекты

  1. Аспекты сложности в теории формальных языков: 2023 г. этап 1

    Проект: исполнение гранта/договора › исполнение этапа гранта/договора

  2. Логические и алгебраические методы в теории формальных языков: 2022 г. этап 5

    Проект: исполнение гранта/договора › исполнение этапа гранта/договора

  3. Логические и алгебраические методы в теории формальных языков: 2021 г. этап 4

    Проект: исполнение гранта/договора › исполнение этапа гранта/договора

Просмотреть все () »

Деятельность

  1. Probabilistic Input-Driven Pushdown Automata

    Деятельность: выступление › выступление с устной презентацией

  2. Рабочая группа по реализации программы "Цифровая экономика РФ" в образовательных программах СПбГУ 2023

    Деятельность: Другие типы активности › Другое

  3. On the determinization of event-clock input-driven pushdown automata

    Деятельность: выступление › выступление с устной презентацией

Просмотреть все (6) »

ID: 195867