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

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