М. МИНСКИЙ
ВЫЧИСЛЕНИЯ И АВТОМАТЫ
Перевод с английского
Б. Л. Овсиевича и Л. Я. Розенблюма
ИЗДАТЕЛЬСТВО «МИР»
Месива 1971
УДК 681. 14 Э О I
Монография одного из крупнейших американских ученых рассма-
рассматривает фундаментальные вопросы теории автоматов. Изложена клас-
классическая теория конечных автоматов, машин Тьюринга н систем Поста. Подход автора в значительной степени отличается от традиционного. В его основе лежит понятие эффективной процедуры, включающее язык
для описания поведения и характеристику устройства, способного вы-
выполнять предписания, зафиксированные на этом языке. Многие достоин-
достоинства книги, и прежде всего блестящая систематизация результатов, по-
полученных в теории автоматов за последнее десятилетие, делают ее весь-
весьма ценным руководством для исследователей и инженеров, работаю-
работающих в области вычислительной техники и автоматического управления. Интересна она также для студентов и аспирантов, избравших своей
специальностью вычислительную технику и смежные с ней области. Редакция литературы по новой технике
Иид. 3-3-14
133-70
ПРЕДИСЛОВИЕ К РУССКОМУ ИЗДАНИЮ
Автор этой книги Марвин Минский, профессор Массачусет-
ского технологического института (МТИ), является одним из
крупнейших специалистов по теоретической кибернетике. Им
опубликовано большое число работ, многие из которых пред-
представляли собой важный этап в развитии этой дисциплины. В книге излагаются элементы теории нейронных сетей, конеч-
конечных автоматов, машин Тьюринга, рекурсивных функций и си-
систем Поста, и она является прекрасным руководством для на-
начального изучения, хотя читатель и не получит исчерпывающих
сведений по всем этим разделам.
Правда, автор не ставил перед
собой такой цели. В книге делается попытка выделить то общее,
что лежит в основе перечисленных направлений. К наиболее
фундаментальным понятиям, составляющим основу теории авто-
автоматов и других смежных с ней областей, автор относит интуи-
интуитивное понятие эффективной процедуры. По существу вся книга
посвящена детальному выяснению значения этого понятия и
уточнению его различных аспектов. Книга хорошо построена. По существу она является вну-
внутренне замкнутой, т. е. содержит все элементы смежных дис-
дисциплин, необходимые для понимания ее основного содержания. Задачи, предлагаемые читателю в каждом из разделов, пред-
предназначены не только для проверки качества усвоения мате-
материала, но в первую очередь для того, чтобы пробудить у чита-
читателя интерес к дальнейшему изучению затронутых вопросов и
привить ему навыки самостоятельной работы в этих областях. Некоторые задачи представляют собой постановки интересных
проблем для исследования.
. Работая над переводом книги, мы стремились по возмож-
возможности сохранить стиль автора (даже в тех случаях, когда был
соблазн отойти от него). При переводе специальных терминов
мы руководствовались в основном терминологией, принятой
в работах, указанных в списке литературы в конце книги. Правда, нужно отметить, что наряду с принятым в русской ли-
литературе термином «автомат» нам показалось целесообразньщ
6 ПРЕДИСЛОВИЕ К РУССКОМУ ИЗДАНИЮ
использовать эквивалентный ему термин «машина», широко при-
применяемый в американской литературе.