=loyiha yechimi ~loyiha algoritmira

Algoritmning cheklilik xususiyati nimani bildiradi?
{
=har qanday algoritm chekli o'lchamli ko'rsatmalar ketma-ketligi bilan beriladi
~har qanday algoritm cheksiz o'lchamdagi buyruqlar ketma-ketligi bilan beriladi
~har qanday algoritm tugatilishi kerak
~algoritm dasturi loop bo'lmasligi kerak
}

Tyuring mashinasining o'z-o'zidan qo'llanilishi masalasi qanday tuzilgan?
{
=Turing mashinasi o'z kodiga egaligidan
~Tyuring mashinasi tashqi alifbodagi har qanday so'z uchun qo'llaniladi
~Turing mashinasi ichki alifbodagi har qanday so'z uchun qo'llaniladi
~Turing mashinasi tashqi alifbodagi so'zlarning sanab o'tiladigan to'plamiga nisbatan qo'llaniladi
}

Algoritmlar nazariyasining asosiy natijalaridan biri …ni echib berganligida.
{
=ba'zi yechib bo'lmaydigan masalalar
~har qanday masalani yechish
~hal qilinishi kerak bo'lgan ba'zi masalalar
~Har qanday masalani yechish uchun Markov algoritmi
}