Formal Languages

2021/2022

Academic Year

RUS

Instruction in Russian

3

ECTS credits

Delivered at:

Department of Informatics

Course type:

Compulsory course

When:

2 year, 1 module

Instructors

Verbitskaia, Ekaterina

Dvorkin, Mikhail

Moskvin, Denis

Paletskikh, Aleksei

Программа дисциплины

Аннотация

Дисциплина базовой части профильного цикла дисциплин. Данная дисциплина служит основой для профессиональной ориентации студентов при выборе дисциплин из вариативной части Программы. Существенное внимание при освоении дисциплины уделяется вопросам, связанным с теоретическими аспектами синтаксиса и семантики языков программирования, а также вопросам создания эффективных алгоритмов лексического и синтактического анализа кода программ. Для освоения дисциплины студентам необходимы знания, полученные в результате изучения дисциплин «Основы и методология программирования», «Язык программирования С++». Основные положения данной дисциплины используются для освоения следующих дисциплин: «Семантики языков программирования», «Компиляторы», «Типы в языках программирования».

Цель освоения дисциплины

• Формирование у студентов теоретических знаний и практических навыков по основам теории формальных языков.

Планируемые результаты обучения

• Знает основные методы синтаксического анализа, основные подходы при генерации объектного кода программы.
• Умеет описывать синтаксис языков программирования, используя различные подходы, строить семантику языка, используя различные подходы, применять регулярные выражения для лексического анализа, создавать алгоритмы для эффективного синтактического анализа кода программ, создавать JIT-компиляторы.
• Имеет навыки применения методов описания синтаксиса и семантики языков программирования с использованием различных подходов, методов создания эффективных алгоритмов лексического и синтактического анализа кода программ.

Содержание учебной дисциплины

• Конечные автоматы
• Регулярные выражения
• КС-грамматики
• Детерминированные автоматы с магазинной памятью

Элементы контроля

• Домашнее задание №1
• Домашнее задание №2
• Домашнее задание №3
• Домашнее задание №4
• Экзамен

Промежуточная аттестация

• 2021/2022 учебный год 1 модуль
  0.125 * Домашнее задание №1 + 0.5 * Экзамен + 0.125 * Домашнее задание №4 + 0.125 * Домашнее задание №3 + 0.125 * Домашнее задание №2

Список литературы

Рекомендуемая основная литература

• Малявко А. А. - ФОРМАЛЬНЫЕ ЯЗЫКИ И КОМПИЛЯТОРЫ. Учебное пособие для вузов - М.:Издательство Юрайт - 2019 - 429с. - ISBN: 978-5-534-04288-7 - Текст электронный // ЭБС ЮРАЙТ - URL: https://urait.ru/book/formalnye-yazyki-i-kompilyatory-438060

Рекомендуемая дополнительная литература

• W. J. Levelt. (2019). An Introduction to the Theory of Formal Languages and Automata (Vol. Reprint 2019). Berlin/Boston: De Gruyter Mouton. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=2039961