машины Тьюринга» – «фундамента» теории алгоритмов. Ее описание можно найти во всех серьезных учебниках по математической логике и теории вычислимости.