ABSTRACT MACHINE
абстрактная машина. Представление о вычислительной машине в терминах информационных ресурсов и операций, доступных программе. Эти ресурсы и операции могут соответствовать реальным компонентам ЭВМ или имитироваться операционной средой (user environment). Абстрактная машина может не учитывать некоторые возможности реальной ЭВМ. Возможно определение абстрактной машины без ее реального воплощения для описания семантики языка или для доказательств свойств программ