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

От реальных компьютеров абстрактные машины отличаются тем, что они игнорируют многие аспекты аппаратного обеспечения. 1 От них ожидается, что они будут работать корректно и независимо от него. 1

В современной практике существуют аналоги абстрактных машин в форме виртуальных машин. 23 Они представляют собой средство создания промежуточного кода, следующего за текстом программы на высокоуровневом языке программирования. 2 Этот код затем транслируется в машинный код. 2