ABSTRACT MACHINE


Англо-русский перевод ABSTRACT MACHINE

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

English-Russian dictionary of computers .      Англо-Русский словарь по компьютерам.