#матлог #учёба #спецкурс

С.Л. Кузнецов, Т.Г. Пшеницын в Математическом институте им. В.А. Стеклова РАН (Москва, ул. Губкина, 8) прочитают спецкурс "Алгоритмические вопросы для формальных грамматик".

Первая лекция: 18 сентября

Место проведения: МИАН, ком. 104

Время проведения: четверг 18:00

Страница спецкурса: www.mathnet.ru/conf2632

Аннотация.
Теория формальных грамматик находится на пересечении математической логики, теоретической информатики и лингвистики. Формальные грамматики используются для описания как естественных языков, так и языков машинных (например, языков программирования).

В курсе рассматриваются два семейства грамматических формализмов — порождающие грамматики Хомского и категориальные грамматики Ламбека. Особое внимание уделяется грамматикам, для которых существуют эффективные (работающие за полиномиальное время) алгоритмы разбора, нетривиальным образом использующие идеи динамического программирования. Такие грамматики представляют наибольший интерес для приложений.

➰ ВК