Абстрактная вычислительная машина

Короткий ответ

Абстрактная вычислительная машина — это теоретическое построение, с помощью которого вводится строгое, математическое определение алгоритма.