paragraph_text: Postoje mnogi modeli računanja, koji se razlikuju u skupu dopustivih operacija i trošku njihovih računanja. Potpadaju u sljedeće široke kategorije: apstraktni stroj (apstraktno računalo), korišten u dokazima izračunljivosti i gornjih granica računske složenosti algoritama, te model decizijskog stabla, korišten u dokazima donjih granica računske složenosti algoritamskih problema.