Изложены методы логического анализа функциональных свойств дискретных устройств объектов информатизации. Раскрыты логико-математические основы описания и преобразования моделей дискретных устройств комбинационного и последовательностного типов. Показан порядок разработки функциональных схем, представляющих дискретные автоматы. Приведены основные алгоритмы проведения анализа дискретных автоматов. Для закрепления знаний по фундаментальным вопросам теории дискретных автоматов рассмотрены материалы исследования различных классов автоматов. Предназначено для обучающихся по направлению 10.03.01 Информационная безопасность и специальности 10.05.02 Информационная безопасность телекоммуникационных систем, изучающих дисциплины «Теория дискретных автоматов», «Теория автоматов», «Языки, грамматики и автоматы», а также магистрантов направления подготовки 09.04.02 Информационные системы и технологии, изучающих дисциплину «Теория формальных грамматик и автоматов».