What is the difference between halting, accepting, and deciding in the context of Turing machines?
Does accepting mean that the TM will read and recognize a char from the cell it's currently reading from? And is it the case that a TM halts iff the input is decidable?
Asked By : sdfasdgasg
Best Answer from StackOverflow
Question Source : http://cs.stackexchange.com/questions/3554
Answered By : Dave Clarke
Accepting and rejecting the state a Turing machine may eventually enter, is based on the string read from the tape, not just the symbol from one cell. Of course, the decision about entering an accepting or rejecting tape is ultimately made on the basis of one symbol.
A Turing machine can either eventually enter an accepting state, enter a rejecting state, or loop forever. If it enters either an accepting or rejecting state, then it halts.
A Turing machine is said to be total if it halts on all inputs.
The language accepted by a Turing machine is the set of all words that that, when provided as input to the Turing machine, cause the Turing machine to enter an accepting state.
A language is said to be decidable if and only if there exists a total Turing machine that will accept the language.
Post a Comment