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