1.Previous
3.Next

abstraction of computers called a model of computation. Several models exist for this purpose, such as the Turing machine. Computer scientists study the Turing machine because it is simple to formulate, can be analyzed and used to prove results, and because it represents what many consider the most powerful possible "reasonable" model of computation (see Church-Turing thesis). It might seem that the potentially infinite memory

1.Previous
3.Next