Читать онлайн «Александр Ефимович Теплоухов. 1811-1885»

Автор Вера Парнес

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