कम्प्यूटेबिलिटी सिद्धांत कंप्यूटर के कइ सैद्धांतिक मॉडल, सबले  प्रसिद्ध मॉडल-ट्यूरिंग मशीन सहित सीमाओं के जाँच।