Теория конечных автоматов: учебная программа учреждения высшего образования по учебной дисциплине для специальности: 1-98 01 01 Компьютерная безопасность (по направлениям) Направление специальности: 1-98 01 01-01 Компьютерная безопасность (математические методы и программные системы). № УД-12636/уч.

Abstract

ПОЯСНИТЕЛЬНАЯ ЗАПИСКА Теория конечных автоматов – это раздел дискретной математики, изучающий математические модели дискретных объектов, называемые конечными автоматами. Теория конечных автоматов предоставляет формальные модели и методы для описания, анализа, сравнения таких дискретных объектов как алгоритмы, протоколы, процессы, системы. Модели и методы теории конечных автоматов представляют собой универсальный инструментарий, который применяется в научных исследованиях и в практических приложениях для решения задач проектирования и разработки программных систем, защите информации, автоматическом управлении, робототехнике, системах управления базами данных, биоинформатике и др. Цели и задачи учебной дисциплины Цель преподавания учебной дисциплины «Теория конечных автоматов» – изложение теоретических аспектов теории конечных автоматов, основных методов анализа, синтеза и минимизации конечных автоматов. Задачи учебной дисциплины: 1. – изучение основных понятий теории конечных автоматов и их свойств; 2. – формирование практических навыков решения прикладных задач теории конечных автоматов. Место учебной дисциплины в системе подготовки специалиста с высшим образованием. Учебная дисциплина «Теория конечных автоматов» относится к циклу дисциплин специализаций компонента учреждения образования.