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

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

Сведения о проекте

АкронимRSF_RG_2018 - 3
СтатусАктивный
Действительная дата начала/окончания1/01/2031/12/20

Ключевые слова

  • теоретическая информатика
  • теория формальных языков,
  • теория автоматов,
  • формальные грамматики,
  • математическая логика,
  • вычислительная сложность,
  • описательная сложност,ь
  • синтаксический анализ