Семинар: Natural Language Processing
(автоматическая обработка естественного языка)

Natural Language Processing (автоматическая обработка естественного языка)
01 Апрель 2009


Логический подход к синтаксическому анализу

Артем Андреев (ИЛИ РАН)

Категория: Весна 2009.

Семинар проходил 1.04.09

Доклад был посвящен применению формальных методов разработки ПО к конструированию лингвистических анализаторов. В частности, было рассмотрено использование интерактивного доказателя теорем Coq для построения парсеров по спецификации. В качестве примера тспользовались классические контекстно-свободные, LL(1) и AGFL-грамматики. Демонстрировались примеры реальных программ на языке Coq – http://coq.inria.fr/ == http://coq.inria.fr/.