paragraph_text: U teoriji računanja, apstraktni su strojevi često korišteni kao misaoni eksperimenti u vezi izračunljivosti ili analize složenosti algoritama (vidi računska teorija složenosti). Tipičan se apstraktni stroj sastoji od definicije u terminima ulaza, izlaza te skupa dozvoljenih operacija korištenih za pretvorbu prvog u drugo. Najpoznatiji je primjer Turingov stroj.