абстрактная машина. Справочник технического переводчика. Интент.

	абстрактная машина — [http://www.iks-media.ru/glossary/index.html?glossid=2400324] абстрактная машина Вычислительная машина, операции которой рассматриваются безотносительно к их аппаратной или программной реализации. [http://pcmag.ru/encyclopedia/term.php?ID=17118] абстрактная машина Представление о вычислительной машине в терминах информационных ресурсов и операций, доступных программе. Эти ресурсы и операции могут соответствовать реальным компонентам ЭВМ или имитироваться операционной средой. Абстрактная машина может не учитывать некоторые возможности реальной ЭВМ. Возможно определение абстрактной машины без её реального воплощения для описания семантики языка или доказательств свойств программ. [Борковский А. Б. Англо-русский словарь по программированию и информатике. 1990]
EN
FR

абстрактная машина