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