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