در <nowiki>[[نظریه رایانش پذیریپذیری]] و [[نظریه پیچیدگی محاسباتی]] ، '''مدل محاسبه''' </nowiki> تعریف مجموعه ایمجموعهای از عملیات هایعملیاتهای قابل قبول مورد استفاده در محاسبات و نسبت هزینه هایشان است. برای اندازه گیریاندازهگیری پیچیدگی یک <nowiki>[[الگوریتم]] در [[زمان اجرا]] </nowiki> یا حافظه یحافظهٔ مصرف شده ،شده، با فرض مدل خاصی از محاسبات استفاده می شود ،میشود، در تجزیه و تحلیل منابع محاسباتی مورد نیاز بحث کردن در مورد محدودیت هایمحدودیتهای الگوریتم یا رایانه هارایانهها ممکن است ▼
{{تمیزکاری|تاریخ=ژوئن ۲۰۱۵}}
{{منبع|تاریخ=ژوئن ۲۰۱۵}}
{{ویکیسازی|تاریخ=ژوئن ۲۰۱۵}}
▲در <nowiki>[[نظریه رایانش پذیری]] و [[نظریه پیچیدگی محاسباتی]] ، '''مدل محاسبه'''</nowiki> تعریف مجموعه ای از عملیات های قابل قبول مورد استفاده در محاسبات و نسبت هزینه هایشان است. برای اندازه گیری پیچیدگی یک <nowiki>[[الگوریتم]] در [[زمان اجرا]]</nowiki> یا حافظه ی مصرف شده ، با فرض مدل خاصی از محاسبات استفاده می شود ، در تجزیه و تحلیل منابع محاسباتی مورد نیاز بحث کردن در مورد محدودیت های الگوریتم یا رایانه ها ممکن است
== مثال هامثالها ==
بعضی از مثال هامثالها عبارت اند از <nowiki>[[ماشین تورینگ]] ، [[ماشین حالات متناهی]] , [[توابع بازگشتی]] ، [[حساب دیفرانسیل لامبادا]] ، [[منطق ترکیبی]] و [[چکیده سیستم بازنویسی]]</nowiki>.
== استفاده هااستفادهها ==
در زمینه زمان <nowiki>[[تحلیل الگوریتم هاالگوریتمها]]</nowiki> ، مشخص کردن یک مدل محاسبه در رابطه با عملیات اولیه مجاز دارای هزینه واحد معمول است. یک مثالی که به طور معمول استفاده میمیشود شود <nowiki>[[ماشین دستیابی تصادفی]]</nowiki> است ،است، که دارای ارزش واحد برای خواندن و نوشتن دستیابی به همههمهٔ ی خانه هایخانههای حافظه است. از این منظر ،منظر، با ماشین تورینگی که در بالا گفته شده است تفاوت دارد.
در <nowiki>[[مهندسی مدل-رانده]]</nowiki> ، مدل محاسبه توضیح می دهدمیدهد که چگونه رفتار کل سیستم نتیجه ینتیجهٔ رفتار هر جزجزء آن است.
یک نکته اصلی که اغلب چشم پوشی می شودمیشود این است که حدود پایین منتشر شده برای مشکل هامشکلها در بیشتر مواقع برای یک مدل محاسباتی بیشتر محدود می شوندمیشوند تا مجموعه عملیاتی که کسی می تواندمیتواند استفاده کند در پرداختن و از این رو ممکن است الگوریتم هاییالگوریتمهایی سریع تر از آنچه به سادگی فکر می کردیم میکردیم وجود داشته باشد.
== دسته هادستهها ==
مدل محاسباتی بسیاری وجود دارد که در مجموعه اعمال مجاز و هزینه محاسباتشان تفاوت می کنندمیکنند. آن هاآنها به گروه گسترده یگستردهٔ زیر تعلق دارند : ماشین انتزاعی و مدل هایمدلهای معادل آن ( برای مثال حساب دیفرانسیل لامبادا معادل با ماشین تورینگ است ) در اثبات هایاثباتهای شمارش پذیری و حدود بالا روی پیچیدگی محاسباتی الگوریتم هاالگوریتمها استفاده می شود ،میشود، و مدل هایمدلهای درخت تصمیم گیری ،گیری، در اثبات هایاثباتهای حدود پایین روی پیچیدگی محاسباتی مشکل هایمشکلهای الگوریتمی استفاده می شودمیشود.
== جستارهای وابسته ==
* [[ماشین پشتهای]]
<nowiki>*[[ماشین پشته ای]] *[[ماشین انباشتگر]] *[[ماشین ثبت کننده]] *[[ماشین دستیابی تصادفی]] *[[مدل کاوش حفره]] </nowiki>
* [[ماشین انباشتگر]]
* [[ماشین ثبت کننده]]
* [[ماشین دستیابی تصادفی]]
* [[مدل کاوش حفره]]
== مطالعه بیشتر ==
Fernández, Maribel (2009). Models of* Computation: An Introduction to Computability Theory. Undergraduate Topics in Computer Science. Springer. ISBN 978-1-84882-433-1. *Savage, John E. (1998). Models Of Computation: Exploring the Power of Computing.
[[رده:مدلهای محاسباتی]]
[[رده:نظریه محاسبات]]
|