مدل محاسبه: تفاوت میان نسخه‌ها

مدل محاسباتی بسیاری وجود دارد که در مجموعه اعمال مجاز و هزینه محاسباتشان تفاوت می‌کنند. آن‌ها به گروه گستردهٔ زیر تعلق دارند: [[ماشین انتزاعی]] و مدل‌های معادل آن (برای مثال [[حساب دیفرانسیل]] لامبادا معادل با [[ماشین تورینگ]] است) در اثبات‌های شمارش پذیری و حدود بالا روی پیچیدگی محاسباتی الگوریتم‌ها استفاده می‌شود، و [[مدل‌های درخت تصمیم‌گیری]]، در اثبات‌های حدود پایین روی پیچیدگی محاسباتی مشکل‌های الگوریتمی استفاده می‌شود.