nichtdeterministische Turingmaschine , NTM