In order to perform a rigorous study of computation, computer scientists work with a mathematical abstraction of computers called a model of computation.
Pentru a efectua un studiu riguros al computației, informaticienii lucrează cu o abstracție matematică a calculatorului, numită model de calcul⁠(d).