Wat dien as die basis van beide waarskynlikheids- en nie-deterministiese Turingmasjiene Gegewe die vorige vraag, skryf 'n konteks wat die antwoord bevat. Dit kan 1 - 20 sinne wees. Konteks:
'n Deterministiese Turingmasjien is die mees basiese Turingmasjien, wat 'n vaste stel reëls gebruik om sy toekomstige optrede te bepaal. 'n Waarskynlikheids-Turing-masjien is 'n deterministiese Turing-masjien met 'n ekstra voorraad willekeurige stukkies. Die vermoë om waarskynlikheidsbesluite te neem help dikwels algoritmes om probleme doeltreffender op te los. Algoritmes wat willekeurige stukkies gebruik, word gerandomiseerde algoritmes genoem. 'n Nie-deterministiese Turingmasjien is 'n deterministiese Turingmasjien met 'n bykomende kenmerk van nie-determinisme, wat 'n Turingmasjien toelaat om verskeie moontlike toekomstige aksies uit 'n gegewe toestand te hê. Een manier om nie-determinisme te sien is dat die Turingmasjien in elke stap vertak in baie moontlike rekenpad, en as dit die probleem in enige van hierdie takke oplos, word gesê dat dit die probleem opgelos het. Dit is duidelik dat hierdie model nie bedoel is om 'n fisies realiseerbare model te wees nie, dit is net 'n teoreties interessante abstrakte masjien wat aanleiding gee tot besonder interessante kompleksiteitsklasse. Vir voorbeelde, sien nie-deterministiese algoritme.