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

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

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

АкронимRSF_RG_2018 - 4
СтатусАктивный
Действительная дата начала/окончания30/04/2131/12/21

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

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