نموذج حوسبة: الفرق بين النسختين
| [نسخة منشورة] | [نسخة منشورة] |
تم حذف المحتوى تمت إضافة المحتوى
أُنشئَت بترجمة الصفحة "Model of computation" |
أُنشئَت بترجمة الصفحة "Model of computation" |
||
| سطر 1: | سطر 1: | ||
في نظرية الحاسوب |
في [[نظرية الحسبانية|نظرية الحاسوب]] و<nowiki/>[[نظرية التعقيد الحسابي]]، نموذج الحوسبة هو تعريف مجموعة من العمليات المسموح استخدامها في الحوسبة وتكلفة كل منها. وهو يستخدم لقياس مدى تعقيد [[خوارزمية]] حسب [[وقت التنفيذ|زمن التنفيذ]] و/أو [[مساحة الذاكرة]]: بافتراض نموذج معين من الحوسبة، فمن الممكن تحليل الموارد الحاسوبية المطلوبة أو مناقشة القيود المفروضة على خوارزميات أو أجهزة الكمبيوتر. |
||
== النماذج == |
|||
بعض الأمثلة من النماذج ما يلي: |
|||
[[ آلة تورنج]] |
|||
* [[آلة ذات حالات منتهية]] |
|||
* [[توابع μ عودية]] |
|||
* [[حسابات اللامدا]] |
|||
* [[منطق توفيقي]] |
|||
* [[خلايا ذاتية السلوك]] |
|||
* [[أنظمة إعادة الكتابة المجردة]] |
|||
== الاستخدامات == |
|||
== الفئات == |
|||
[[تصنيف:نماذج حاسوبية]] |
[[تصنيف:نماذج حاسوبية]] |
||
نسخة 02:40، 27 نوفمبر 2016
في نظرية الحاسوب ونظرية التعقيد الحسابي، نموذج الحوسبة هو تعريف مجموعة من العمليات المسموح استخدامها في الحوسبة وتكلفة كل منها. وهو يستخدم لقياس مدى تعقيد خوارزمية حسب زمن التنفيذ و/أو مساحة الذاكرة: بافتراض نموذج معين من الحوسبة، فمن الممكن تحليل الموارد الحاسوبية المطلوبة أو مناقشة القيود المفروضة على خوارزميات أو أجهزة الكمبيوتر.
النماذج
بعض الأمثلة من النماذج ما يلي: آلة تورنج
- آلة ذات حالات منتهية
- توابع μ عودية
- حسابات اللامدا
- منطق توفيقي
- خلايا ذاتية السلوك
- أنظمة إعادة الكتابة المجردة