Formal Computational Models and Computability Counter Programs Turing machines are not the only simple mathematical model of what can be computed. Another model, more closely resembling Pascal programs, is based on counter programs.
Counter programs manipulate nonnegative integers stored in variables.
Y using a counter program. Any computation we can do with one, we can simulate using the other. Think about how to do that. You could lay the variables in a counter program out on the TM tape.