A state in a nondeterministic Turing machine from which the machine accepts if any move leads to acceptance.