Apriekinameibys teoreja pietej vysaidu datora teoretiskūs modeļu īrūbežuojumus, tūs skaitā vyspazeistamuokū modeli - Tjuringa mašynu.