Research output

  1. Exact Descriptional Complexity of Determinization of Input-Driven Pushdown Automata

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

  2. Complexity of the emptiness problem for graph-walking automata and for tilings with star subgraphs

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

  3. Homomorphisms and inverse homomorphisms on graph-walking automata

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

View all (10) »

Projects

  1. Сложность конечных автоматов

    Project: Grant fulfilment › Total grant fulfilment

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

    Project: Grant fulfilment › Grant stage fulfilment

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

    Project: Grant fulfilment › Grant stage fulfilment

View all () »

ID: 13760615