nondeterministic Turing machine

  NODES