Введение в теорию формальных языков

Название спецкурса на английском языке

Introduction in the theory of formal languages

Авторы курса

Леонов Александр Георгиевич, Мащенко Кирилл Алексеевич

Пререквизиты

Отсутствуют

Целевая аудитория

3-6 курс, магистранты

аспиранты

Подразделение

[Кафедра вычислительной математики]

Семестр

Осень

Тип спецкурса

Спецкурс по выбору студента на английском языке

Учебный год

2026/27

Список тем

Иерархия Хомского.
Конечные автоматы.
Автоматы с магазинной памятью.

Список источников

Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции (в 2-х томах).
Рейуорд-Смит В. Дж. Теория формальных языков: Вводный курс.

Дополнительная информация

Как попасть на спецкурс? Зарегистрироваться на платформе Мирера и вступить в группу по ссылке: https://mirera.ru/user/groups/6a56568d729fa3e11bc7ca00

Курс посвящен классическому разделу математической лингвистики и теоретической информатики — теории формальных языков. В нем рассмотрены классификация грамматик по Хомскому, регулярные множества и выражения, конечные автоматы, автоматы с магазинной памятью, программные утилиты GREP, FLEX, BISON. Курс имеет практическую направленность, рассматриваются части теории формальных языков, которые применяются на практике при написании компиляторов, студенты решают не менее 100+ практических заданий различной сложности за курс, включая тестовые задания, практические задания, сдают программы на Python, FLEX, BISON, задания на GREP и т.д.

День недели

по согласованию

Время

по согласованию

Аудитория

Ещё не назначена

Аудитория первого занятия

Ещё не назначена

Статус курса

Запись открыта

Форма записи на курс

Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.