نموذج تحسيب
في نظرية الحسوبية ونظرية التعقيد الحسابي، نموذج التحسيب هوتعبير عن مجموعة فهم من العمليات المسموح باستخدامها ضمن عملية حساب مع الكلف المرافقة لكل منها. وفقط ضمن نموذج تحسيب معين يمكن تحليل الموارد التحسيبية المطلوبة، كزمن التطبيق وحجم الذاكرة أومناقشة محدودية الخوارزميات أوالحواسيب.
من الأمثلة على نماذج التحسيب آلة تورنگ، التوابع العودية، تحليل لامبدا، وأنظمة الإنتاج.
انظر أيضاً
- Stack machine (0-operand machine)
- Accumulator machine (1-operand machine)
- Register machine (2,3,... operand machine)
- Random access machine
- آلة مجردة
