Existential state

Redirect to:

• Alternating Turing machine