@efi @aeva A Turing machine as a mathematical construct does have infinite states because it has infinite tapes.A physical computer is a limited approximation of a Turing machine.