أحد أهداف نظرية الحاسوبية هو تحديد أي من المشاكل، أو فئات المشاكل، من الممكن حلها في كل نموذج للحساب.
One goal of computability theory is to determine which problems, or classes of problems, can be solved in each model of computation.