آلة مجردة
عودة للموسوعةألة مجردة abstract machine أوحاسوب مجرد abstract computer هي نموذج نظري (افتراضي) لنظام حاسوبي عتادي أوبرمجي يستخدم في نظرية الأتمتة. تستخدم هذه الآلات النظرية في إجراء عملية تجريد لعملية الحوسبة بكافة إجرائياتها وتستخدم من ثم في فروع علوم الحاسب وهندسة الحاسوب وغالبا ما تفترض باراديغم أوأسلوب عمل في زمن متبتر discrete time.
في نظرية التحسيب، تستخدم غالبا الآلات المجردة ضمن التجارب الفكرية المتعلقة بالحسوبية وتحليل تعقيد الخوارزميات (نظرية التعقيد الحسابي). تعتبر الآلة المجردة النموذجية تتألف من ولج وخرج ومجموعة عمليات مصرح بها تستعمل لتحويل الدخل إلى خرج. أفضل الأمثلة وأكثرها شيوعا هوآلة تورنغ.
يمكن تعريف آلات مجردة أكثر تعقيدا بمجموعة تعليمات أوسع، المسجلات ونماذج لذواكر الحاسوب. أحد أكثر النماذج شيوعا ومشابهة للحاسوب في وضعه الحالي يدعى نموذج رام، الذي يسمح بوصول عشوائي لمواقع الذاكرة المفهرسة. وعندما تكبر فوارق الأداء بين المستويات المتنوعة لذاكرة الكاش cache memory، تزداد أهمية النماذج الحساسة للكاش مثل نموذج الذاكرة الخارجية external-memory model وcache-oblivious model.
مراجع
- ^ D. B. Skillicorn (2005). . Cambridge University Press. صفحة 18. ISBN . مؤرشف من الأصل في 08 ديسمبر 2019.
- ^ Carnegie Mellon University نسخة محفوظة 01 ديسمبر 2017 على مسقط واي باك مشين.
التصنيفات: رياضيات متقطعة, نظرية التحسيب, نظرية التشغيل الذاتي, نماذج حاسوبية, قالب أرشيف الإنترنت بوصلات واي باك, صفحات بها بيانات ويكي بيانات, صفحات تستخدم خاصية P508, مصادر طبية من ويكي بيانات, بوابة علم الحاسوب/مقالات متعلقة, بوابة تقنية المعلومات/مقالات متعلقة, بوابة رياضيات/مقالات متعلقة, بوابة رياضيات متقطعة/مقالات متعلقة, جميع المقالات التي تستخدم شريط بوابات, جميع مقالات البذور, بذرة رياضيات