Mikroprotsessortehnika
Selle esitas 1936. a inglise loogik A M Turing. Masina tähtsus põhineb Turing-Churchi
teesil, mille kohaselt igasuguse algoritmi infotöötluse võib sooritada Turingi masinaga. See
väide ei ole matemaatiliselt tõestatav, sest algoritmi infotöötluse mõiste pole matemaatiline,
vaid intuitiivne. Katsed leida algoritmilisi protsesse kajastav formaalne eeskiri, mis oleks
võimsam kui Turingi masin, on olnud edutud. Seepärast loetakse tänapäeval algoritmilisteks
teisendusteks vaid teisendusi, mida saab teostada Turingi masinaga. Abstraktne Turingi
masin on olnud aluseks arvutiteooria, programmeerimiskeelte ja keeletranslaatorite
loomisel, ta on võimaldanud teoreetiliselt uurida juhtimisülesannete lahendatavust, s. t
määrata nende kuulumist algoritmiliste protsesside hulka jms. Universaalseteks
infotöötlusseadmeteks on füüsilised arvutid, mille näol abstraktne Turingi masin on
realiseerunud tegelikkuses
annaabi.ee 
