Аннотация

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

Впечатления о книге: