Abstract Machine: различия между версиями
Материал из Encyclopedia Electronica
м Замена текста — «(MSK)↵</p>» на «(MSK)» |
м Замена текста — «— \[\[Участник:Игорь Мостицкий|Игорь Мостицкий\]\] \(\[\[Обсуждение участника:Игорь Мостицкий|обсуждение\]\]\) (.*) \(MSK\)» на «— Игорь Мостицкий (обсуждение) $1 (MSK)» Метки: отменено ReplaceText |
||
| Строка 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/>— [[Участник:Игорь Мостицкий|Игорь Мостицкий]] ([[Обсуждение участника:Игорь Мостицкий|обсуждение]]) (MSK)|— [[Участник:Игорь Мостицкий|Игорь Мостицкий]] ([[Обсуждение участника:Игорь Мостицкий|обсуждение]]) (MSK)|— [[Участник:Игорь Мостицкий|Игорь Мостицкий]] ([[Обсуждение участника:Игорь Мостицкий|обсуждение]]) 23:18, 8 января 2026 (MSK) | ||
Версия от 18:24, 23 января 2026
[ˈæbstrækt məˈʃiːn]
абстрактная машина
Представление о вычислительной машине в терминах информационных ресурсов и операций, доступных программе. Операции А.м. рассматриваются безотносительно их аппаратной или программной реализации. Доступные ресурсы и операции могут соответствовать реальным компонентам вычислительной машины или имитироваться операционной средой (User Environment). А.м. может не учитывать некоторые возможности реальной ЭВМ. Возможно определение абстрактной машины без её реального воплощения — для описания семантики языка или для доказательств свойств программ.
Смотри также Turing Machine
— Игорь Мостицкий (обсуждение) (MSK)|— Игорь Мостицкий (обсуждение) (MSK)|— Игорь Мостицкий (обсуждение) 23:18, 8 января 2026 (MSK)
