I'm still fairly new to Turing Machines, but I've been doing some research.
I know that a Turing Machine can have an infinite tape and that it requires a finite number of states, but does it necessarily follow that a Turing Machine can have an infinite number of accept states?
I keep seeing different layouts when formally defining Turing Machines, for example:
M = (Q, Σ, Γ, τ, s, F).
1) F ⊆ Q is the set of final or accepting states. (plural)
2) F ⊆ Q is the accept state. (singular)
So I'm just wondering which one is correct?
Any help would be greatly appreciated.