Лингвистические основы информатики
(ЛОИ)
В настоящее время искусственные языки, использующие для описания предметной области текстовое представление, широко применяются не только в программировании, но и в других областях. С их помощью описывается структура всевозможных документов, трехмерных виртуальных миров, графических интерфейсов пользователя и многих других объектов, используемых в моделях и в реальном мире. Для того чтобы эти текстовые описания были корректно составлены, а затем правильно распознаны и интерпретированы, применяются специальные методы их анализа и преобразования. В основе данных методов лежит теория формальных языков, грамматик и автоматов. Теория формальных языков, грамматик и автоматов составляет фундамент синтаксических методов.
Цель этого курса - познакомить студентов с некоторыми основополагающими моделями и результатами, используемыми в теоретической информатике.
- Нередактирующий преподаватель: Шипова Мария Вадимовна