Mikroprotsessortehnika
Seepärast nimetatakse nende juhtseadmeid lõplikeks
automaatideks. Lõplike automaatide teooria on aluseks erinevate diskreetsete juht-
seadmete, sealhulgas arvutite ja robotite juhtseadmete väljatöötamisel. Lõplike automaatide
uurimiseks pole tingimata vaja füüsilise automaadi olemasolu. Kõige enam kasutatakse
nende uurimiseks mitmesuguseid matemaatilisi mudeleid, mida nimetatakse
abstraktseteks automaatideks. Kuna abstraktseid automaate saab kirjeldada
algoritmikeelte abil, siis tuleneb sellest abstraktsete automaatide ning algoritmikeelte
ekvivalentsus, s. t neid keeli on võimalik asendada abstraktsete automaatidega ja vastupidi.
Üheks levinumaks ja kõige üldisemaks abstraktseks automaadiks on nn Turingi masin.
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
annaabi.ee 
