Результаты

  1. State Complexity of Boolean Operations on Graph-Walking Automata

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

  2. Improved bounds on the length of shortest strings accepted by two-way finite automata

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

  3. From regular expressions to deterministic finite automata: 2^{\frac{n}{2}+\sqrt{n}(\log n)^{\Theta(1)}} states are necessary and sufficient

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

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

Проекты

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

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

  2. Создание и развитие международного математического центра мирового уровня «Санкт-Петербургский международный математический институт имени Леонарда Эйлера»

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

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

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

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

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

  1. From regular expressions to deterministic finite automata: $2^{\frac{n}{2}+\sqrt{n}(\log n)^{\Theta(1)}}$ states are necessary and sufficient

    Деятельность: Выступление на научной конференции › выступление с устным докладом

  2. Nondeterministic tree-walking automata are not closed under complementation

    Деятельность: Выступление на научной конференции › выступление с устным докладом

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

ID: 13760615