В книге приводятся основные понятия теории алгоритмов, раскрывается
связь между алгоритмами и вычислительными машинами и различия между
процессами протекающими в машинах Тьюринга и автоматах фон Неймана.
Рассматриваются также основы теории конечных автоматов, формальные
методы проектирования автоматов на основах абстрактного и
структурного синтеза.