Машины в теории вычислимых функций. Учебное пособие
Сергей Марченков и Игорь Савицкий
Жанр:учебники и пособия для вузов
Язык книги:Русский
Тип:PDF книга
Издательство:Инфра-Инженерия
Дата публикации:23.06.2024
Просмотры:10
Отзывы:Пока нет Добавить отзыв
О книге: Приводятся определения как хорошо известных вычислительных устройств (машины Тьюринга, машины с произвольным доступом к памяти, машины Минского, двуленточные нестирающие машины Тьюринга), так и некоторых машин, появившихся сравнительно недавно (стековые регистровые машины, регистровые машины со счетчиками, счетчиковые машины с сумматором). Для каждого типа машин излагаются результаты по вычислимым функциям, достаточно полно характеризующие вычислительные возможности рассматриваемого типа машин и связывающие соответствующие классы вычислимых функций с известными классами рекурсивных функций.