Mikroprotsessortehnika
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. Järelikult on kõiki algoritmidega esitatavaid juhtimisprotsesse
võimalik teostada arvutiga.
Automaatide teoorias vaadeldakse ka mitmeid lihtsamaid väiksema üldistusastmega
annaabi.ee 
