Esaplav nazariyesi, eñ belli modellerden biri olğan Tyüring maşnasını kirsetip kompyüterniñ türlü nazariy modellerniñ sıñırlamalarını tetqiq ete.