Research output

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

    Research output: Contribution to journal › Article › peer-review

  2. Decision problems for systems of language equations and inequations

    Research output: Contribution to journal › Article › peer-review

  3. A Hierarchy of Reversible Finite Automata

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

View all (193) »

Projects

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

    Project: Grant fulfilment › Grant stage fulfilment

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

    Project: Grant fulfilment › Grant stage fulfilment

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

    Project: Grant fulfilment › Grant stage fulfilment

View all () »

Activities

  1. A hierarchy of reversible finite automata

    Activity: Conference talk types › Oral presentation

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

    Activity: Conference talk types › Oral presentation

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

    Activity: Conference talk types › Oral presentation

View all (16) »

ID: 195867