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