Результаты

  1. On the expressive power of categorial grammars with unique category assignment

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

  2. Decision problems for systems of language equations and inequations

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

  3. A Hierarchy of Reversible Finite Automata

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

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

Проекты

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

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

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

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

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

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

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

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

  1. A hierarchy of reversible finite automata

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

  2. Simulating two-way nondeterministic finite automata over small alphabets by one-way nondeterministic automata

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

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

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

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

ID: 195867