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

محتوای حذف‌شده محتوای افزوده‌شده
Setarehfrtn (بحث | مشارکت‌ها)
بدون خلاصۀ ویرایش
Setarehfrtn (بحث | مشارکت‌ها)
بدون خلاصۀ ویرایش
خط ۱:
در [[نظریه رایانش پذیری]] و [[نظریه پیچیدگی محاسباتی]]، '''مدل محاسبه''' تعریف مجموعه‌ای از عملیات‌های قابل قبول مورد استفاده در [[محاسبات]] و نسبت هزینه هایشان است. برای اندازه‌گیریاندازه‌ گیری پیچیدگی یک [[الگوریتم]] در [[زمان اجرا]] یا حافظهٔ مصرف شده، با فرض مدل خاصی از محاسبات استفاده می‌شود، در تجزیه و تحلیل منابع محاسباتی مورد نیاز بحث کردن در مورد محدودیت‌های [[الگوریتم]] یا رایانه‌ها[[رایانه‌]]ها ممکن است.
 
== مثال‌ها ==
خط ۵:
 
== استفاده‌ها ==
در زمینه زمان [[تحلیل الگوریتم‌ها]]، مشخص کردن یک مدل محاسبه در رابطه با عملیات اولیه مجاز دارای [[هزینه واحد]] معمول است. یک مثالی که به طور معمول استفاده می‌شود [[ماشین دستیابی تصادفی]] است، که دارای [[ارزش واحد]] برای خواندن و نوشتن دستیابی به همهٔ خانه‌های حافظه است. از این منظر، با ماشین تورینگی که در بالا گفته شده است تفاوت دارد. 
 
در [[مهندسی مدل-رانده]]، مدل محاسبه توضیح می‌دهد که چگونه رفتار کل سیستم نتیجهٔ رفتار هر جزء آن است.
خط ۱۲:
 
== دسته‌ها ==
مدل محاسباتی بسیاری وجود دارد که در مجموعه اعمال مجاز و هزینه محاسباتشان تفاوت می‌کنند. آن‌ها به گروه گستردهٔ زیر تعلق دارند: [[ماشین انتزاعی]] و مدل‌های معادل آن (برای مثال حساب دیفرانسیل لامبادا معادل با [[ماشین تورینگ]] است) در اثبات‌های شمارش پذیری و حدود بالا روی پیچیدگی محاسباتی الگوریتم‌ها استفاده می‌شود، و [[مدل‌های درخت تصمیم گیری،گیری]]، در اثبات‌های حدود پایین روی پیچیدگی محاسباتی مشکل‌های الگوریتمی استفاده می‌شود. 
 
== جستارهای وابسته ==