Бағдарламалық қамтамасыз етуге қатысты алғашқы теорияны ағылшын математигі Алан Тьюринг 1936 жылы On computable numbers with an application to the Entscheidungsproblem (Шешім беру проблемасына қосымшасы бар есептелетін сандар туралы) эссесінде ұсынған болатын. Ол Тьюринг машинасы деп аталатын машинаны бір тұрақты күйден екіншісіне ауыстыратын рудиментар операциялар тізбесін орындай алатын абстрактілі машинаның математикалық моделін жасады. Негізгі идеясы - жүйенің алдын ала берілген кез келген күйіне командалардың белгіленген жиынтығынан элементарлық командалардың (бағдарламаның) соңғы жиынтығын бірізді орындау арқылы қол жеткізуге болады деген фактіге математикалық дәлелдеу.
Алан Тьюринг не жасаған?
Тьюринг машинасы деп аталатын