A nondeterministic Turing machine having universal states, from which the machine accepts only if all possible moves out of that state lead to acceptance.