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