نموذج الحوسبة في نظرية الحاسوب ونظرية التعقيد الحسابي هو تعريف مجموعة من العمليات المسموح استخدامها في الحوسبة وتكلفة كل منها.[1] وهو يستخدم لقياس مدى تعقيد خوارزمية حسب زمن التنفيذ و/أو مساحة الذاكرة: بافتراض نموذج معين من الحوسبة، فمن الممكن تحليل الموارد الحاسوبية المطلوبة أو مناقشة القيود المفروضة على خوارزميات أو أجهزة الكمبيوتر.
النماذج
بعض الأمثلة من النماذج ما يلي:
- آلة تورنغ
- آلة ذات حالات منتهية
- توابع μ عودية
- حسابات اللامدا
- منطق توفيقي
- خلايا ذاتية السلوك
- أنظمة إعادة الكتابة المجردة
مراجع
- "معلومات عن نموذج حوسبة على موقع academic.microsoft.com". academic.microsoft.com. مؤرشف من الأصل في 6 أبريل 2020.