|
- ⒶⒸМинский М.Л. Вычисления и автоматы. (Finite and Infinite Machines, 1967) [Djv-Fax- 3.4M] Автор: Марвин Ли Минский (Marvin Lee Minsky). Перевод с английского Б.Л. Овсиевича и Л.Я. Розенблюма.
(Москва: Издательство «Мир»: Редакция литературы по новой технике, 1971) Скан, OCR, обработка, формат Djv-Fax: ???, предоставил: Михаил, 2013
- КРАТКОЕ ОГЛАВЛЕНИЕ:
Предисловие к русскому изданию (5). Предисловие автора к русскому изданию (7). Предисловие (9). 1. Физические машины и их абстрактные модели (17). Часть I. КОНЕЧНЫЕ МАШИНЫ 2. Машины с конечным числом состояний (26). 3. Нейронные сети. Автоматы, составленные из элементов (50). 4. Представление событий в машинах с конечным числом состояний (94). Часть II. БЕСКОНЕЧНЫЕ МАШИНЫ 5. Вычислимость, эффективные процедуры и алгоритмы. Бесконечные машины (132). 6. Машины Тьюринга (149). 7. Универсальные машины Тьюринга (167). 8. Ограничения эффективной вычислимости: некоторые проблемы, не разрешимые машинами, выполняющими предписания (183). 9. Вычислимые вещественные числа (195). 10. Машины Тьюринга и рекурсивные функции (208). 11. Модели, подобные вычислительным машинам (242). Часть III. СИСТЕМЫ, ОПЕРИРУЮЩИЕ СИМВОЛАМИ, И ВЫЧИСЛИМОСТЬ 12. Система Поста (262). 13. Теорема Поста о нормальной форме (286). 14. Очень простые базисы для вычислимости (303). 15. Указания к решению некоторых задач (335). 16. Пояснения к литературе (350). Литература (353). Именной указатель (359).
ИЗ ИЗДАНИЯ: Монография одного из крупнейших американских ученых рассматривает фундаментальные вопросы теории автоматов. Изложена классическая теория конечных автоматов, машин Тьюринга и систем Поста. Подход автора в значительной степени отличается от традиционного. В его основе лежит понятие эффективной процедуры, включающее язык для описания поведения и характеристику устройства, способного выполнять предписания, зафиксированные на этом языке. Многие достоинства книги, и прежде всего блестящая систематизация результатов, полученных в теории автоматов за последнее десятилетие, делают ее весьма ценным руководством для исследователей и инженеров, работающих в области вычислительной техники и автоматического управления. Интересна она также для студентов и аспирантов, избравших своей специальностью вычислительную технику и смежные с ней области. |
|