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

Охотин, Александр Сергеевич (руководитель)
Григорьев, Семен Вячеславович (исполнитель)
Пентус, Мати Рейнович (исполнитель)
Селиванов, Виктор Львович (исполнитель)
Сорокин, Алексей Андреевич (исполнитель)
Макаров, Владислав Маратович (исполнитель)
Сажнева, Елизавета Александровна (исполнитель)
Азимов, Рустам Шухратуллович (исполнитель)
Шеметова, Екатерина Николаевна (исполнитель)
Мартынова, Ольга Максимовна (исполнитель)
Петров, Семен Андреевич (исполнитель)

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

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

Акроним	RSF_RG_2018 - 2
Статус	Завершено
Действительная дата начала/окончания	1/01/19 → 31/12/19

Смотреть все

Смотреть меньше

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

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