In order to perform a rigorous study of computation, computer scientists work with a mathematical abstraction of computers called a model of computation.
Untuk melakukan studi komputasi dengan ketat, ilmuwan komputer bekerja dengan abstraksi matematika dari komputer yang dinamakan model komputasi.