Nichtdeterministische Turing-Maschine

Eine nichtdeterministischen Turing Maschine ist eine Variante von einer Standard – Turing Maschine . Die Übertragungsfunktion wird unterschiedlich definiert , um zu berücksichtigen , dass ein bestimmter Zustand mehrere mögliche neue Staaten zur Verfügung stellt.