ألة مجردة abstract machine أو حاسوب مجرد abstract computer هي عبارة عن نموذج نظري (افتراضي) لنظام حاسوبي عتادي أو برمجي يستخدم في نظرية الأتمتة. تستخدم هذه الآلات النظرية في إجراء عملية تجريد لعملية الحوسبة بكافة إجرائياتها و تستخدم من ثم في فروع علوم الحاسب و هندسة الحاسوب و غالبا ما تفترض باراديغم أو أسلوب عمل في زمن متقطع discrete time .
في نظرية التحسيب ، تستخدم غالبا الآلات المجردة ضمن التجارب الفكرية المتعلقة بالحسوبية و تحليل تعقيد الخوارزميات (نظرية التعقيد الحسابي ) . تعتبر الآلة المجردة النموذجية تتألف من دخل و خرج و مجموعة عمليات مصرح بها تستعمل لتحويل الدخل إلى خرج . أفضل الأمثلة و اكثرها شيوعا هو آلة تورينغ .
يمكن تعريف آلات مجردة أكثر تعقيدا بمجموعة تعليمات أوسع ، المسجلات و نماذج لذواكر الحاسوب . أحد أكثر النماذج شيوعا و مشابهة للحاسوب في وضعه الحالي يدعى نموذج رام ، الذي يسمح بوصول عشوائي لمواقع الذاكرة المفهرسة . وعندما تكبر فوارق الأداء بين المستويات المختلفة لذاكرة الكاش cache memory ، تزداد أهمية النماذج الحساسة للكاش مثل نموذج الذاكرة الخارجية external-memory model و cache-oblivious model .