গননাযোগ্য তত্ত্ব যা পরীক্ষা করে বিভিন্ন সীমাবদ্ধ মানের নানা কম্পিউটারের নানা তত্ত্বীয় মডেল-সবচেয়ে জানাশোনা মডেল হচ্ছে টার্নিং মেশিন।