Монография одного из крупнейших американских ученых рассматривает фундаментальные вопросы теории автоматов. Изложена классическая теория конечных автоматов, машин Тьюринга и систем Поста. Подход автора в значительной степени отличается от традиционного. В его основе лежит понятие эффективной процедуры, включающее язык для описания поведения и характеристику устройства, способного выполнять предписания, зафиксированные на этом языке. Многие достоинста книги, и прежде всего блестящая систематизация результатов, полученных в теории автоматов, делают ее весьма ценным руководством для исследователей, инженеров, аспирантов и студентов в области вычислительной техники, теоретической кибернетики и смежных областях. Хотя книга и не предназначена для математиков, некоторые ее разделы представят интерес и для них, в частности это относится к ряду теорем других авторов, для которых Минский предложил свои доказательства.
Содержание по главам:
1. Физические машины и их абстрактные модели.
2. Машины с конечным числом состояний.
3. Нейронные сети. Автоматы, составленные из элементов.
4. Представление событий в машинах с конечным числом состояний.
5. Вычислимость, эффективные процедуры и алгоритмы. Бесконечные машины.
6. Машины Тьюринга.
7. Универсальные машины Тьюринга.
8. Ограничения эффективной вычислимости: некоторые проблемы, не разрешимые машинами, выполняющими предписания.
9. Вычислимые вещественные числа.
10. Машины Тьюринга и рекурсивные функции.
11. Модели, подобные вычислительным машинам.
12. Система Поста.
13. Теорема Поста о нормальной форме.
14. Очень простые базисы для вычислимости.
15. Указания к решению некоторых задач.
16. Пояснения к литературе.
Дополнительно: При заказе от 3-х книг -- скидка от 3%.
При заказе от 6-ти книг -- скидка от 6%.
При заказе от 10-ти книг -- скидка от 10%.
Доставка "Почтой России" или "Яндексом": отправка со склада в течение 2х-3х дней!
Отправка другими транспортными компаниями в течение 4х дней.
Самовывоз в любой день.
Подробно опишу состояние книги; содержание -- до заказа (через кнопку "Спросить" *).
Фото -- до за... [подробнее]