It is the formal definition of a Turing machine that defines it as an infinite tape, a head that moves across the tape and a set of states and symbols.
It is the formal definition of a Turing machine that defines it as an infinite tape, a head that moves across the tape and a set of states and symbols.