Any model ought to be able to implement an algorithm.
The Turing Machine - the Turing machine is the primary model for a computing agent. The operation of a Turing machine is simple. The following set of quintuples will increment any binary number. As long as some quintuple begins with a current state, current symbol pair, the Turing machine continues to execute. Execution halts when the current state, current symbol for the Turing machine does not match the first two components of some quintuple.