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

Цели и задачи дисциплины

Дисциплина «Теория автоматов и формальных языков» обеспечивает приобретение знаний и умений в соответствии с государственным образовательным стандартом, содействует формированию мировоззрения и системного мышления. Целью преподавания дисциплины «Теория автоматов и формальных языков» является подготовка специалистов к деятельности в сфере разработки, исследования и эксплуатации информационных систем.

Краткое содержание дисциплины

Введение. Конечные автоматы. Свойства автоматных языков. Регулярные выражения. Минимизация детерминированных конечных автоматов. Контекстно-свободные (КС) грамматики и языки. Свойства КС-языков. Автоматы с магазинной памятью. Связь теории автоматов и формальных языков с теорией алгоритмов.

Компетенции обучающегося, формируемые в результате освоения дисциплины

Выпускник должен обладать:

ОПК-1 Способен применять фундаментальные знания, полученные в области математических и (или) естественных наук, и использовать их в профессиональной деятельности