**نظرية الحوسبة** أو النظرية الحسابية أو النظرية الاحتسابية (بالإنجليزية: Theory of Computation)‏ في علم الحاسوب يدرس إمكانية حل المسائل المطروحة بكفاءة بوساطة حاسوب ويدرس ما يمكن للحاسوب أن يقوم باحتسابة حاليا وإمكانية تطوره في المستقبل. لذلك يمكن تقسيمها إلى : نظرية الحاسوبية ونظرية نظرية التعقيد الحسابي. و كلاهما يتعاملان مع النماذج الرياضية للتحسيب.

لإنجاز دراسة منهجية للتحسيب، يشكل علماء الحاسوب نماذج رياضية مجردة من الحواسيب تدعى نموذج التحسيب model of computation. توجد عدة أنماط من هذه النماذج قيد الاستعمال، لكن أهمها وأكثرها شيوعا هو آلة تورنغ. يمكن أن نتصور آلة تورنغ على أنها حاسوب منزلي مع سعة ذاكرة محدودة، ولايمكن الوصول إلا إلى قطاعات صغيرة متفرقة من هذه الذاكرة. تعتبر آلات تورنغ سهلة التصور والتصميم ومن الممكن تحليلها ودراستها للبرهنة عن النتائج المتوقعة بالتالي تمثل نموذجا معقولا لعملية التحسيب.

شرط محدودية الذاكرة ضروري جدا لأن هذا ما يجعل آلة تورنغ واقعية، ويجعل تنبؤات آلة تورنغ مقبولة فأي مسألة يمكن حلها بوساطة آلة تورنغ يمكن حلها أيضا بوساطة أي حاسوب شخصي ذو ذاكرة كافية.

في علم الحاسوب النظري والرياضيات، نظرية الحوسبة هي الفرع الذي يختص بفعالية حل المشاكل من خلال نموذج حوسبي باستخدام خوارزمية ما. ينقسم هذا المجال إلى ثلاثة أقسام رئيسية هي: نظرية التشغيل الذاتي واللغات، والنظرية الحاسوبية، ونظرية التعقيد الحسابي اللواتي يربطهن السؤال التالي: «ما هي الإمكانات والقيود الأساسية لأجهزة الحاسوب؟».

من أجل إجراء دراسة دقيقة للحوسبة، يعمل علماء الحاسوب مع تجريد رياضي للحواسيب يسمى بنموذج الحوسبة. تُستخدم العديد من النماذج لكن أكثرها شيوعًا هي آلة تورنغ. يدرس علماء الحاسوب آلة تورنغ لأنها سهلة التشكيل، ويمكن تحليلها واستخدامها لإثبات النتائج، ولأنها تمثل ما يعتبره كثيرون أقوى نموذج حسابي «منطقي» ممكن. يبدو أن احتمالية وجود سعة ذاكرة لانهائية هي ميزة غير قابلة للتحقيق، لكن أي مشكلة يُقرر حلها عن طريق آلة تورنغ ستتطلب دائمًا كمية ذاكرة محدودة فقط. لذلك من حيث المبدأ، فإن أي مشكلة يمكن (تَقرّر) حلها عن طريق آلة تورنغ بالتالي يمكن حلها من خلال حاسوب يمتلك كمية محدودة من الذاكرة.

تاريخها

يمكن أن نعتبر أن نظرية الحوسبة هي إنشاء نماذج من جميع الأنواع في مجال علوم الحاسب. ولذلك يُستخدم فيها الرياضيات والمنطق. أصبحت في العقد الأخير قسمًا أكاديميًا مستقلًا وفُصلت عن الرياضيات.

كان من ضمن الرائدين في نظرية الحوسبة رامون لول، ألونزو تشرتش، وكورت غودل، وآلان تورنغ، وستيفن كلين، وروزنا بيتر، وجون فون نيومان وكلود شانون.

الأقسام
-------

### نظرية التشغيل الذاتي

|  |  |  |  |
| --- | --- | --- | --- |
| القواعد | اللغات | الأوتومات | قواعد الإنشاء(القيود) |
| نوع-0 | قابلة للعد بشكل تراجعي | آلة تورنغ | {\displaystyle \alpha \rightarrow \beta } |
| نوع-1 | حساسة للسياق | آلة تورنغ خطية غير حتمية | {\displaystyle \alpha A\beta \rightarrow \alpha \gamma \beta } |
| نوع-2 | حساسة للسياق | أوتومات دفع سفلي غير حتمي | {\displaystyle A\rightarrow \gamma } |
| نوع-3 | منتظمة | أوتومات ذو حالة منتهية | {\displaystyle A\rightarrow a}
و
{\displaystyle A\rightarrow aB} |

نظرية التشغيل الذاتي هي دراسة الآلات المجردة (أو بالأحرى، أنظمة أو آلات «رياضياتية» مجردة) والمسائل الحسابية التي يمكن حلها باستخدام هذه الآلات. تسمى هذه الآلات المجردة بالآلات ذاتية التشغيل. تأتي جذور كلمة آلة ذاتية التشغيل(Automata) من الكلمة اليونانية (Αυτόματα) والتي تعني شيئًا يقوم بفعلٍ ما من تلقاء نفسه. نظرية التشغيل الذاتي تتعلق أيضًا بنظرية اللغة الشكلية، وتُصنف الآلات ذاتية التشغيل غالبًا حسب نوع اللغات الشكلية التي يمكنها أن تتعرف عليها. يمكن أن يكون الأوتومات تمثيلًا منتهيًا للغة شكلية ويمكن أن يكون مجموعة منتهية. تُستخدم الآلات ذاتية التشغيل بمثابة نماذج نظرية للآلات الحسابية، وبمثابة براهين على قابلية التحسيب.

### نظرية اللغة الشكلية

نظرية اللغة هي فرع من الرياضيات تهتم بوصف اللغات على أنها مجموعة من العمليات على الحروف الأبجدية. وترتبط بشكل وثيق بنظرية التشغيل الذاتي، لأن الآلات ذاتية الشغيل تُستخدم لتوليد اللغات الشكلية والتعرف عليها. يوجد العديد من أنواع اللغات الشكلية، تمنح كل منها اللغة مواصفاتٍ أكثر تعقيدًا من سابقتها، مثال: هرمية تشومسكي، وتتوافق كل منها مع نمط من الآلات ذاتية التشغيل تستطيع التعرف عليها. اللغات الشكلية هي الأسلوب المُفضل لتوصيف أي مسألة يجب حسابها، لأن الآلات ذاتية التشغيل تُستخدم بمثابة نماذج للتحسيب.

### نظرية الحاسوبية

تتعامل نظرية الحاسوبية في المقام الأول مع مسألة المدى الذي تكون فيه المسألة قابلة للحل على الحاسوب. التأكيد على أن مسألة التوقف غير ممكنة الحل من خلال آلة تورنغ هي واحدة من أهم النتائج في نظرية الحاسوبية، إذ أنها مثال لمشكلة ملموسة سهلة الحدوث ولكنها مستحيلة الحل باستخدام آلة تورنغ. تعتمد نظرية الحاسوبية في معظمها على نتائج مسألة التوقف.

الخطوة الأخرى المهمة في نظرية الحاسوبية هي نظرة رايس الرياضية، التي توضح أنه من أجل جميع الخصائص غير البسيطة للتوابع الجزئية، لا يمكن اتخاذ قرار فيما إذا كانت آلة تورنغ تحسب تابع جزئي عن طريق تلك الخاصية.

نظرية الحاسوبية مرتبطة بشكل وثيق بفرع المنطق الرياضي الذي يسمى بنظرية التراجعية، التي تزيل القيود عن دراسة نماذج التحسيب فقط التي يمكن اختزالها إلى نموذج تورنغ. العديد من علماء الرياضيات وواضعي النظريات الحاسوبية الذين يدرسون النظرية التراجعية يشيرون إليها على أنها نظرية الحاسوبية.

### نظرية التعقيد الحاسوبية

لا تهتم نظرية التعقيد فقط فيما إذا كانت مسألة ما قابلة للحل أم لا على الحاسوب، لكنها تهتم أيضًا بالكفاءة التي يمكن حل المسألة بها. هناك مفهومان رئيسيان يؤخذان بعين الاعتبار هما: التعقيد الزمني والتعقيد المكاني، واللذان يشيران على التتالي إلى عدد الخطوات التي يتطلبها إجراء الحوسبة، وكمية الذاكرة المطلوبة لإجراء هذه الحوسبة.

لتحليل كمية الزمن والمكان الذي تتطلبه خوارزمية ما، يعبر علماء الحاسوب عن الزمن والمكان المطلوب لحل المسألة على أنه تابع لحجم مدخلات المسألة. على سبيل المثال، إيجاد رقم محدد في قائمة طويلة من الأرقام يصبح أصعب كلما كانت قائمة الأرقام أكبر. إذا قلنا إن هناك ن(n) رقم في قائمة ما، في حال كانت القائمة غير مرتبة أو غير مفهرسة بأي شكل، سنضطر إلى المقارنة مع كل رقم من أجل إيجاد الرقم الذي نبحث عنه. لذلك نقول إنه من أجل حل هذه المسألة، يحتاج الحاسوب لإجراء مجموعة من الخطوات تزداد خطيًا مع ازدياد حجم المسألة.

لتبسيط المسألة اعتمد علماء الحاسوب على ما يسمى رمز O الكبير الذي يسمح بمقارنة التوابع بطريقة تؤكد أنه يمكننا عدم أخذ جوانب محددة من بناء الآلة بعين الاعتبار، لكن بدلًا من ذلك نتبع الأسلوب المقارب فقط مع ازدياد حجم المسائل. إذّا في مثالنا السابق يمكن أن نقول إن المسألة تتطلب O(n) أو ن خطوة لحلها.

ربما تكون أهم مسألة مفتوحة في علوم الحاسب هي مسألة فيما إذا كان صف معين من المسائل التي يرمز لها NP (أي كثير حدود غير قطعي) قابلة للحل بكفاءة. نوقشت تلك الفكرة بشكل أكبر في صفوف التعقيد P (أي كثير حدود) وصفوف NP (أي كثير حدود غير قطعي)، وتعتبر مسألة كثير حدود وكثير حدود غير قطعي (P=NP?) واحدة من سبع مسائل جوائز الألفية، وصرح عنها معهد كلاي للرياضيات في عام 2000. طرح وصف المسألة، الفائز بجائزة تورنغ، ستيفن كوك.

اقرأ أيضاً
----------

* نظرية حاسوبية للعقل

مراجع
-----

1. ↑  مُعرِّف موقع "عالَم الرياضيات"(MathWorld): *topics/TheoryofComputation*. الاقتباس: Discrete Mathematics > Computer Science > Theory of Computation. الوصول: 12 يونيو 2018.
2. ↑  Rabin، Michael O. (يونيو 2012). *Turing, Church, Gödel, Computability, Complexity and Randomization: A Personal View*. مؤرشف من الأصل في 2019-06-05.
3. ↑  Donald Monk (1976). *Mathematical Logic*. Springer-Verlag. ISBN:9780387901701. مؤرشف من الأصل في 2020-02-05.
4. ↑  Henry Gordon Rice (1953). "Classes of Recursively Enumerable Sets and Their Decision Problems". *Transactions of the American Mathematical Society*. American Mathematical Society. ج. 74 ع. 2: 358–366. DOI:10.2307/1990888. JSTOR:1990888.
5. ↑  طبقات اللغات الصورية (1956). "Three models for the description of language". *Information Theory, IRE Transactions on*. IEEE. ج. 2 ع. 3: 113–124. DOI:10.1109/TIT.1956.1056813.
6. ↑  آلان تورنغ (1937). "On computable numbers, with an application to the Entscheidungsproblem". *Proceedings of the London Mathematical Society*. IEEE. ج. 2 ع. 42: 230–265. DOI:10.1112/plms/s2-42.1.230. مؤرشف من الأصل في 2019-10-19. اطلع عليه بتاريخ 2015-01-06.

| * ع
* ن
* ت
علم الحاسوب |
| --- |
| يعتمد هذا القالب على تصنيف أنظمة الحوسبة  الذي أنجزته جمعية آلات الحوسبة في عام 2012 |
| العتاد | 
* اللوحات المطبوعة
* المُلحقات
* الدارات المُتكاملة
* التكامل بالغ مقاس الاتساع
* نظام على رقاقة
* الحوسبة الخضراء
* أتمتة التصميم الإلكتروني
* تسريع العتاد

 |
| بنية الأنظمة | 
* المعماريَّة
* الأنظمة المُضمَّنة
* الحوسبة في الزمن الحقيقي
* الاعتمادية

 |
| الشبكات | 
* المعماريَّة
* البروتوكولات
* العتاد
* الجدولة
* الأداء
* الخدمات

 |
| بنية البرمجيات | 
* المُفسِّرات
* برمجيات وسيطة
* آلة افتراضية
* أنظمة التشغيل
* جودة البرمجيات

 |
| نظرية لغات البرمجة وأدواتها | 
* الأنماط
* اللغات
	+ البرمجة
	+ النمذجة
	+ مخصصة النطاق
* المُصرِّفات
* أُطُر العمل
	+ بيئة التطوير المتكاملة
* المكتبات
* المُستودعات

 |
| تطوير البرمجيات | 
* المتغيرات
* عملية التطوير
* تحليل المتطلبات
* التصميم
* البناء
* النشر
* الصيانة
* فريق البرمجة
* البرمجيات حُرَّة المصدر

 |
| نظرية الحوسبة | 
* نموذج حوسبة
* لغة شكلية
* نظريات
	+ التشغيل الذاتي
	+ الحاسوبيَّة
	+ التعقيد الحسابي
* المنطق
* علم الدلالة الشكلي

 |
| الخوارزميات | 
* التحليل
* الكفاءة
* خوارزمية عشوائية
* هندسة مُحوسبة

 |
| رياضيات الحوسبة | 
* رياضيات مُتقطِّعة
* الاحتمالات
* الإحصاء
* برمجية رياضية
* نظرية المعلومات
* التحليل
	+ الرياضي
	+ العددي
* علم الحاسوب النظري

 |
| نظم المعلومات | 
* أنواع
	+ التخزين
		- قواعد البيانات
		- الوسائط المتعددة
	+ اقتصادية
	+ اجتماعية
	+ جغرافية
	+ دعم القرارات
	+ التحكُّم في العمليات
* تنقيب في البيانات
* مكتبة رقمية
* منصة حوسبة
* التسويق الرقمي
* شبكة عالمية المجال
* استرجاع المعلومات

 |
| الأمن | 
* أنواع
	+ العتاد
	+ الشبكات
	+ المعلومات
	+ التطبيقات
	+ الخدمات
* علم التعمية
* طريقة شكلية
* أنظمة كشف التسلسل

 |
| التفاعل الإنساني الحاسويبي | 
* حوسبة
	+ اجتماعية
	+ سائدة
* تصميم التفاعل
* تمثيل مرئي
* إمكانية الوصول

 |
| تزامن | 
* أنواع
	+ مُتزامِنة
	+ مُتوازيَّة
	+ مُوزَّعة
* تشعب مُتعدِّد
* مُعالَجة مُتعدِّدة

 |
| الذكاء الاصطناعي | 
* معالجة اللغة الطبيعية
* تمثيل المعرفة
* رؤية حاسوبية
* التخطيط الآلي والجدولة
* الاستمثال
* نظرية التَّحكُّم
* الفلسفة
* ذكاء اصطناعي مُوزَّع

 |
| تعلم الآلة | 
* أنواع التَّعلُّم
	+ مُراقَب
	+ غير مُراقَب
	+ مَدعُوم
	+ مُتعدِّد المهام
* التصديق المُتقاطِع

 |
| رسوميَّات | 
* التحريك
* الاستخلاص
* صور
	+ التَّلاعُب
	+ الضَّغط
* وحدة معالجة الرسوميَّات
* وُقُع
	+ افتراضي
	+ مُعزَّز
	+ مُختلَط
* نمذجة المُجسَّمات

 |
| الحوسبة التطبيقيَّة | 
* اختصاصات محوسبة
	+ رياضيات
	+ كيمياء
	+ فيزياء
	+ علم الأحياء
	+ هندسة
	+ العلوم الاجتماعية
* معلوماتية صحية
* التجارة الرقميَّة
* الفن الرقمي
* النشر الرقمي
* حرب رقمية عبر الشبكة
* التصويت الإلكتروني
* ألعاب الفيديو
* مُعالِجات النصوص
* بحوث العمليات
* تقنيات التعليم

 |
| 
* **تصنيف**
* **مُختصَر موجز**
* **مشروع**
* **كُومُنز**

 |

* أيقونة بوابةبوابة رياضيات

| * ع
* ن
* ت
فروع الرياضيات |
| --- |
| 
* تاريخ
* مخطط
* قائمة الرموز

 |
| أسس الرياضيات | 
* نظرية الفئة
* نظرية المعلومات
* منطق رياضي
* فلسفة الرياضيات
* نظرية المجموعات
* نظرية النمط

 |
| الجبر | 
* جبر مجرد
* جبر تبادلي
* جبر ابتدائي
* نظرية الزمر
* جبر خطي
* جبر متعدد الخطية
* جبر شامل
* جبر تماثلي

 |
| التحليل الرياضي | 
* تفاضل وتكامل
* تحليل حقيقي
* تحليل عقدي
* تحليل فوق عقدي
* معادلة تفاضلية
* تحليل دالي
* تحليل توافقي
* نظرية القياس

 |
| الرياضيات المتقطعة | 
* تركيبات
* نظرية البيان
* نظرية الترتيب

 |
| الهندسة الرياضية | 
* هندسة جبرية
* هندسة تحليلية
* هندسة حسابية
* هندسة تفاضلية
* هندسة متقطعة
* هندسة إقليدية
* هندسة منتهية

 |
| نظرية الأعداد | 
* حسابيات
* نظرية الأعداد الجبرية
* نظرية الأعداد التحليلية
* هندسة ديفونتية

 |
| الطوبولوجيا | 
* طوبولوجيا عامة
* طوبولوجيا جبرية
* طوبولوجيا تفاضلية
* طوبولوجيا هندسية
* نظرية التجانس

 |
| الرياضيات التطبيقية | 
* رياضيات هندسية
* علم الأحياء الرياضي
* كيمياء رياضية
* اقتصاد رياضي
* رياضيات مالية
* فيزياء رياضية
* علم النفس الحسابي
* علم الاجتماع الرياضي
* إحصاء رياضي
* نظرية الاحتمال
* إحصاء
* علم الأنظمة
	+ نظرية التحكم
	+ نظرية الألعاب
	+ بحوث العمليات

 |
| الرياضيات المحوسبة | 
* علم الحاسوب
* نظرية الحوسبة
* نظرية التعقيد الحسابي
* تحليل عددي
* استمثال
* حساب رمزي

 |
| مواضيع ذات صلة | 
* عالم رياضيات
* رياضيات غير رسمية
* رياضيات مسلية
* الرياضيات والفن
* تعليم الرياضيات

 |
| 
* **تصنيف**
* **بوابة**
* **كومنز**
* **ويكي مشروع**

 |

|  |  |
| --- | --- |
| مشاريع شقيقة | في كومنز صور وملفات عن: نظرية الحوسبة |