Abstract Machine: различия между версиями
Материал из Encyclopedia Electronica
м Замена текста — «<p xmlns="http://www.mediawiki.org/xml/export-0.10/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">» на «» |
м Замена текста — «— Игорь Мостицкий (обсуждение) (MSK)|— Игорь Мостицкий (обсуждение) (MSK)|» на «» Метки: ручная отмена ReplaceText |
||
| (не показаны 2 промежуточные версии этого же участника) | |||
| Строка 1: | Строка 1: | ||
<span style="color: steelblue;">[ˈæbstrækt məˈʃiːn]</span><br/><span style="color: green; font-style: italic;">[[Категория: компьютеры]]</span><span style="color: indigo;">абстрактная машина</span><br/><span style="color: darkslategray;"> Представление о вычислительной машине в терминах информационных ресурсов и операций, доступных программе. Операции А.м. рассматриваются безотносительно их аппаратной или программной реализации. Доступные ресурсы и операции могут соответствовать реальным компонентам вычислительной машины или имитироваться операционной средой ([[User Environment]]). А.м. может не учитывать некоторые возможности реальной ЭВМ. Возможно определение абстрактной машины без её реального воплощения — для описания семантики языка или для доказательств свойств программ.</span><br/><i>Смотри также</i> [[Turing Machine]]<br/><br/>— [[Участник:Игорь Мостицкий|Игорь Мостицкий]] ([[Обсуждение участника:Игорь Мостицкий|обсуждение]]) 23:18, 8 января 2026 (MSK) | <span style="color: steelblue;">[ˈæbstrækt məˈʃiːn]</span><br/><span style="color: green; font-style: italic;">[[Категория: компьютеры]]</span><span style="color: indigo;">абстрактная машина</span><br/><span style="color: darkslategray;"> Представление о вычислительной машине в терминах информационных ресурсов и операций, доступных программе. Операции А.м. рассматриваются безотносительно их аппаратной или программной реализации. Доступные ресурсы и операции могут соответствовать реальным компонентам вычислительной машины или имитироваться операционной средой ([[User Environment]]). А.м. может не учитывать некоторые возможности реальной ЭВМ. Возможно определение абстрактной машины без её реального воплощения — для описания семантики языка или для доказательств свойств программ.</span><br/><i>Смотри также</i> [[Turing Machine]]<br/><br/>— [[Участник:Игорь Мостицкий|Игорь Мостицкий]] ([[Обсуждение участника:Игорь Мостицкий|обсуждение]]) 23:18, 8 января 2026 (MSK) | ||
Текущая версия от 18:49, 23 января 2026
[ˈæbstrækt məˈʃiːn]
абстрактная машина
Представление о вычислительной машине в терминах информационных ресурсов и операций, доступных программе. Операции А.м. рассматриваются безотносительно их аппаратной или программной реализации. Доступные ресурсы и операции могут соответствовать реальным компонентам вычислительной машины или имитироваться операционной средой (User Environment). А.м. может не учитывать некоторые возможности реальной ЭВМ. Возможно определение абстрактной машины без её реального воплощения — для описания семантики языка или для доказательств свойств программ.
Смотри также Turing Machine
— Игорь Мостицкий (обсуждение) 23:18, 8 января 2026 (MSK)
