ألة مجردة abstract machine أو حاسوب مجرد abstract computer هي نموذج نظري (افتراضي) لنظام حاسوبي عتادي أو برمجي يستخدم في نظرية الأتمتة.
An abstract machine, also called an abstract computer, is a theoretical model of a computer hardware or software system used in automata theory.