Посмотреть вложение 1023966
Приводятся определения как хорошо известных вычислительных устройств (машины Тьюринга, машины с произвольным доступом к памяти, машины Минского, двуленточные нестирающие машины Тьюринга), так и некоторых машин, появившихся сравнительно недавно (стековые регистровые машины, регистровые машины со счетчиками, счетчиковые машины с сумматором).
Для каждого типа машин излагаются результаты по вычислимым функциям, достаточно полно характеризующие вычислительные...
Машины в теории вычислимых функций. Учебное пособие [Сергей Марченков, Игорь Савицкий]
Курс скоро будет доступен на форуме slivbox.cc. Используйте
поиск по сайту, возможно данный курс уже в наличии.