Abstraktní specifikace pro výpočetní zařízení, které mohou být implementovány různými způsoby, v softwaru nebo hardwaru.