Результаты

  1. Decision problems for reversible and permutation automata

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

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

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

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

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

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

Проекты

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

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

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

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

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

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

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

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

  1. Probabilistic Input-Driven Pushdown Automata

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

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

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

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

ID: 195867