In order to perform a rigorous study of computation, computer scientists work with a mathematical abstraction of computers called a model of computation.
Para establecer un estudo rigoroso sobre a computación, os científicos computacionais traballan cunha abstracción matemática de computadoras denominada modelo de computación.