Dasturiy ta'minotga oid birinchi nazariya 1936 yilda ingliz matematik Alon Tyoring tomonidan On computable numbers with an application to the Entscheidungsproblem (Halidan chiqarish muammosiga ilova bilan hisoblash mumkin bo'lgan raqamlar to'g'risida) nomli essasida taklif etilgan. U Turing mashinasi deb nomlangan mavhum mashinaning matematik modelini yaratdi, u mashinani bir holatdan boshqasiga o'tkazadigan rudimentar operatsiyalar ketma-ketligini bajarishga qodir. Asosiy g'oya shundaki, tizimning har qanday oldindan berilgan holatiga har doim mavjud buyruqlarning yakuniy to'plamini (dasturni) buyruqlarning qat'iy to'plamidan ketma-ket bajarilishi mumkinligini matematik isbotlashdan iborat edi.
Tizimning har qanday oldindan berilgan holatiga nima bilan erishish mumkin?
mavjud buyruqlarning yakuniy to'plamini