Результаты

  1. Decision problems for reversible and permutation automata

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  2. Rational Index of Languages Defined by Grammars with Bounded Dimension of Parse Trees

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

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

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

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

Проекты

  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