آلة مجردة ، وتسمى أيضا جهاز كمبيوتر مجردة ، هي نموذج نظري لجهاز الكمبيوتر أو نظام البرمجيات المستخدمة في نظرية الأوتوماتا. يتم استخدام التجريد من عمليات الحوسبة في كل من علوم الكمبيوتر وهندسة الكمبيوتر ، وعادةً ما يفترض نموذجًا زمنيًا منفصلاً. [الحاسوب][آلة افتراضية]