Математическая лингвистика (теория формальных грамматик) — это математическая дисциплина, предметом которой является разработка формального аппарата для описания строения естественных и некоторых искусственных языков. Методы математической лингвистики имеют много общего с методами математической логики — математической дисциплины, занимающейся изучением строения математических рассуждений, — и в особенности таких её разделов, как теория алгоритмов и теория автоматов.
Курс «Основы математической лингвистики» включает в себя вводную часть, которая познакомит вас с основными понятиями математической лингвистики, такими как: что такое теория автоматов, математическая лингвистика, язык и грамматика. Основная часть курса познакомит вас с классификациями языков и их примерами.
После прохождения курса вы будете знать основные термины, которые могут встретиться в работе с автоматами, а также сможете разбираться в языках естественных и искусственных.
Курс «Основы математической лингвистики» не только теоретический, но и практический: лекции сопровождаются большим количеством наглядных примеров, упрощающих восприятие материала. Курс состоит из следующий основных тем:
Что такое теория автоматов и каков предмет её исследования
Основная терминология теории автоматов и математической лингвистики
Математическая лингвистика, её предмет
Определение языка
Операции над языками
Функции над словами
Формальная грамматика
Расширенная форма Бэкуса-Наура
Вывод слов языка при помощи грамматики
Классификация языков Н. Хомского
Языки естественные и искусственные
Регулярные языки
Примеры регулярных языков
Регулярные выражения
Контекстно-свободные языки
Примеры контекстно-свободных языков
Абстрактное синтаксическое дерево
Синтаксический анализатор
LL-языки
LR-языки
Контекстно-зависимые языки
Для прохождения курса не требуются специальной подготовки, общие знания в области дискретной математики желательны, но необязательны