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