Research output

  1. Decision problems for reversible and permutation automata

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

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

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

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

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

View all (183) »

Projects

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

    Project: Grant fulfilment › Grant stage fulfilment

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

    Project: Grant fulfilment › Grant stage fulfilment

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

    Project: Grant fulfilment › Grant stage fulfilment

View all () »

Activities

  1. Probabilistic Input-Driven Pushdown Automata

    Activity: Conference talk types › Oral presentation

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

    Activity: Other activity types › Other

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

    Activity: Conference talk types › Oral presentation

View all (6) »

ID: 195867