Основным вопросом этой книги является проблема равносильных преобразований алгоритмов.
В книге описана структура современных ЭВМ и современная методика программирования. Показано применение равносильных преобразований при программировании, а также в теории конечных автоматов. Даны формальные описания алгоритмических языков логических схем, сетевых схем и АЛГОЛа-60. Рассмотрена связь между языком логических схем и АЛГОЛом. Затронут вопрос равносильных преобразований АЛГОЛ-программ.
Книга рассчитана на студентов и аспирантов втузов и университетов, инженеров и научных работников, и благодаря простоте изложения не требует специальных знаний в области программирования.