Dasturiy ta'minotga oid birinchi nazariya 1936 yilda ingliz riyaziy olim Alan Tyoring tomonidan On computable numbers with an application to the Entscheidungsproblem (Hesablab chiqiladigan raqamlar va ularning yechimlari muammosiga ilova) nomli inshotida 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, tizimning har qanday oldindan berilgan holatiga har doim buyruqlarning qat'iy to'plamidan elementar buyruqlarning (dasturning) yakuniy to'plamini ketma-ket bajarish orqali erishish mumkinligini matematik isbotlashdan iborat edi.
Dasturiy ta'minot haqidagi birinchi nazariya kim tomonidan taklif etilgan?
riyaziy olim Alan Tyoring