Абстрактная спецификация для вычислительные устройства, которые могут быть реализованы по-разному, программного обеспечения или оборудования.