Сергей Марченков, Игорь Савицкий — Машины в теории вычислимых функций. Учебное пособие

Загрузка...

Автор: Игорь Владимирович Савицкий, Сергей Серафимович Марченков

Год выхода: 2024

Издательство: Инфра-Инженерия

ISBN:

978-5-9729-2057-0

Книга из раздела: Книги, Литерат.

О книге

«Сергей Марченков, Игорь Савицкий — Машины в теории вычислимых функций. Учебное пособие»

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

Для студентов, аспирантов и научных сотрудников, специализирующихся в области дискретной математики и кибернетики.