Учеб. пособие/СПбГУАП. СПб., 2009. - 119 с.: ил. - ISBN 5-8088-0044-7.
В книге приводятся основные понятия теории алгоритмов, раскрывается связь между алгоритмами и вычислительными машинами и различия между процессами, протекающими в машинах Тьюринга и автоматах фон Неймана. Рассматриваются также основы теории конечных автоматов, формальные методы проектирования автоматов на основах абстрактного и структурного синтеза.
Структурный синтез автоматов.
Элементарные автоматы.
Техническая реализация элементарных автоматов.
Минимизация полностью определенных автоматов.
Методы кодирования состояний абстрактных автоматов.