Аннотация

Содержит полное и систематическое изложение материала, входящего в учебную программу курса «Теория конечных автоматов и формальных языков», изучаемых студентами специальности «Фундаментальная информатика и информационные технологии» Института математики, механики и компьютерных наук Южного федерального университета. Последовательно рассматриваются следующие темы: способы задания и распознавания формальных языков, регулярные языки, конечные автоматы, автоматы со спонтанными переходами, свойства регулярных языков, контекстно-свободные языки, нормальные формы контекстно-свободных языков, автоматы с магазинной памятью. Содержит упражнения и варианты индивидуальных заданий. Предназначен для студентов, которые обучаются по программам бакалавриата и магистратуры в области информационных технологий, прикладной математики и программирования.

Аннотация

Описываются проектные решения, принятые при разработке программной реализации декодера одного класса алгебро-геометрических кодов. Данные решения развивают методологию обобщенного программирования, а также демонстрируют ряд приемов метапрограммирования на языке C++, которые оказываются полезными при решении аналогичных задач из области помехоустойчивого кодирования или более общих задач компьютерной алгебры. Отмечаются инструменты C++11, призванные улучшить поддержку обобщенного программирования на языке C++.