Mis on nii tõenäoliste kui ka mitte-deterministlike Turingi masinate aluseks Eelmise küsimuse põhjal kirjuta kontekst, mis sisaldab vastust. See võib olla 1 - 20 lauset. Konteksti:
Deterministlik Turingi masin on kõige põhilisem Turingi masin, mis kasutab oma tulevaste toimingute kindlaksmääramiseks fikseeritud reeglite kogumit. Tõenäoliste Turingi masin on deterministlik Turingi masin, millel on lisatarne juhuslike bittidega. Võimalus teha tõenäosuslikke otsuseid aitab sageli algoritmidel probleeme tõhusamalt lahendada. Algoritme, mis kasutavad juhuslikke biti, nimetatakse juhuslikuks algoritmiks. Mitte-deterministlik Turingi masin on deterministlik Turingi masin, millel on lisatud mitte-determinismi tunnus, mis võimaldab Turingi masinal teatud seisundist saada mitut võimalikku tulevast tegevust. Üks võimalus mitte-determinismi vaatamiseks on see, et Turingi masin hargneb igal sammul paljudesse võimalikesse arvutuslikele teedesse ja kui see lahendab probleemi üheski neist harudest, siis öeldakse, et see on probleemi lahendanud. On selge, et see mudel ei ole mõeldud füüsiliselt realiseerivaks mudeliks, see on lihtsalt teoreetiliselt huvitav abstraktne masin, mis põhjustab eriti huvitavaid keerukuse klassi. Näiteid võib leida mitteterministlikust algoritmist.