Qfwfq,
Your four bullets, I feel address a definition of Algorithm well enough with the following
proviso:
- That said Algorithm is already considered a valid one.
- Restricting Algorithm to finite states is fine enough. Consider the calculation of Primes. The Algorithm is only calculating one Prime at at time. Do so on each one is definitely a finite set of steps no matter how big the Prime is.
maddog
