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, mashinani bir turg'un holatdan boshqasiga o'tkazadigan rudimentar operatsiyalar ketma-ketligini bajarishga qodir bo'lgan abstrakt mashinaning matematik modeli yaratdi. 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.
Alan Turing qanday mashina yaratgan?
Turing