• Multi-Tape TM
  • Nondeterministic Tm
  • Enumerators