Абстрактная машина — это математическая формализация, моделирующая правила выполнения программы (или алгоритмы) для вычислительной машины. 12
Абстрактные машины могут включать определение ввода, вывода и набора допустимых операций, используемых для преобразования первого во второе. 4