कम्प्यूटेबिलिटी सिद्धांत कंप्यूटर के विभिन्न सैद्धांतिक मॉडल के सीमा के जांच करेला जेमे सबसे प्रसिद्ध मॉडल-ट्यूरिंग मशीन भी शामिल बा.