د کمپیوټري وړتیا تیوري د کمپیوټر د بیلابیلو تیوریکي ماډلونو محدودیتونه، پشمول خورا مشهور ماډل-د تورینګ ماشین معاینه کوي.