Abstract Machine: различия между версиями

Материал из Encyclopedia Electronica
м Замена текста — «(MSK)↵</p>» на «(MSK)»
м Замена текста — «— Игорь Мостицкий (обсуждение) (MSK)|— Игорь Мостицкий (обсуждение) (MSK)|» на «»
Метки: ручная отмена ReplaceText
 
(не показана 1 промежуточная версия этого же участника)
(нет различий)

Текущая версия от 18:49, 23 января 2026

[ˈæbstrækt məˈʃiːn]
абстрактная машина
 Представление о вычислительной машине в терминах информационных ресурсов и операций, доступных программе. Операции А.м. рассматриваются безотносительно их аппаратной или программной реализации. Доступные ресурсы и операции могут соответствовать реальным компонентам вычислительной машины или имитироваться операционной средой (User Environment). А.м. может не учитывать некоторые возможности реальной ЭВМ. Возможно определение абстрактной машины без её реального воплощения — для описания семантики языка или для доказательств свойств программ.
Смотри также Turing Machine

Игорь Мостицкий (обсуждение) 23:18, 8 января 2026 (MSK)