Машина абстрактная — теоретическая конструкция, в которой отражаются все формальные аспекты функционирования некоторого реального или гипотетического устройства. Примерами М.А. могут служить конечный автомат, машина Поста, машина Тьюринга и многие другие модели, изучаемые в математике, кибернетике, искусственном интеллекте и других науках.
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]
[Толковый словарь по искусственному интеллекту. (Электронный ресурс). Режим доступа: http:// gumer.info›bibliotek Buks/Science/dict/10.php/, свободный.]
Машина абстрактная (abstract machine) — машина как набор ресурсов памяти, быстродействия и способов взаимодействия этих ресурсов (архитектура А.м.). А.м. используется для изучения и проверки свойств объектов (вещей). Реальная ВМ, программа или интерпретатор математической машины являются одной из реализаций А.м.
[Словарь понятий по информатике от А до З. (Электронный ресурс). Режим доступа: http:// nsportal.ru›user/415987/page/slovar-kompyuternyh-…/, свободный.]