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