Kompyuter teminatınıñ nazariy temelleri yekünlengen avtomatlar nazariyesine esaslana, ve ameliyatta 1936 senesi Britaniyalı riyaziyatçı Alan Türing tarafından temeli qoyuldı. O, Türing adlı maşna, yani mücerret maşnanıñ öyle riyaziy imselini yarattı ki, o, qalımtılı ameliyatlarnıñ ardı-sıralığını becerip olıp, maşnanı bir tesbit etilgen vaziyetinden, diger, endi evel berilgen vaziyetine keçire. Esas fikir riyaziyat tarafından şöyle aqiqatnı tasdiq etmesi edi ki, sistemanıñ evel şekillendirilgen er angi vaziyetine, tayin etilgen komandalar elifbesinden unsurlı (programma) komandalarınıñ yekünlengen taqımını izçenli becerüv yardımınen irişmek mümkün.