Namun, beberapa masalah komputasi lebih mudah untuk dianalisis dalam hal sumber daya yang lebih tidak biasa. Misalnya, mesin Turing non-deterministik adalah model komputasi yang diizinkan untuk bercabang untuk memeriksa berbagai kemungkinan sekaligus. Mesin Turing non-deterministik sangat sedikit hubungannya dengan bagaimana kita secara fisik ingin menghitung algoritma, tetapi percabangannya menangkap dengan tepat banyak model matematika yang ingin kita analisis, sehingga waktu non-deterministik adalah sumber daya yang sangat penting dalam menganalisis masalah komputasi .
Percabangan mesin apa yang tidak persis menangkap banyak model matematika yang ingin kita analisis?
Turing non-deterministik
Turing non-deterministik
Percabangan NNO
mesin NNO
apa PRI
yang PRR
tidak NEG
persis ADJ
menangkap VBT
banyak KUA
model NNO
matematika NNO
yang PRR
ingin TAME
kita PRN
analisis VBT
? PUN