Existential state

Redirect to:

  • Alternating Turing machine