افتح القائمة الرئيسية

تغييرات

تم إضافة 2 بايت ، ‏ قبل سنتين
ط
←‏نظرية الحاسوب: وسوم صيانة، استبدل: عالم (صفة) ← عالم (مهنة) باستخدام أوب
'''نظرية الحاسوب''' '''theory of computation''' هي فرع من المعلوماتية يدرس إمكانية حل المسائل المطروحة بكفاءة بوساطة [[حاسوب]]. لذلك يمكن تقسيمها إلى : [[نظرية الحاسوبية]] و[[نظرية التعقيد الحسابي]].و كلاهما يتعاملان مع [[نموذج التحسيب|النماذج الشكلية للتحسيب]].
 
لإنجاز دراسة منهجية للحوسبة، يشكل [[عالم (صفةمهنة)|علماء]] [[حاسوب|الحاسوب]] نماذج رياضية مجردة من الحواسيب تدعى [[نموذج الحوسبة]] model of computation. توجد عدة أنماط من هذه النماذج قيد الاستعمال، لكن أهمها واكثرها شيوعا هو [[آلة تورنغ]]، ويمكن ان نتصور [[آلة تورنغ]] على إنها [[حاسوب]] منزلي مع سعة [[ذاكرة]] محدودة، ولايمكن الوصول إلا إلى قطاعات صغيرة متفرقة من هذه الذاكرة. تعتبر آلات تورنغ سهلة التصور والتصميم ومن الممكن تحليلها ودراستها للبرهنة عن النتائج المتوقعة بالتالي تمثل نموذجا معقولا لعملية [[تحسيب|التحسيب]].
 
شرط محدودية الذاكرة ضروري جدا لأن هذا ما يجعل [[آلة تورنغ]] واقعية، ويجعل تنبؤات [[آلة تورنغ]] مقبولة فأي مسألة يمكن حلها بواسطة [[آلة تورنغ]] يمكن حلها أيضا بواسطة أي [[حاسوب]] شخصي ذو [[ذاكرة]] كافية.
292٬689

تعديل