Það sem er grunnurinn að bæði líkindasögulegum og óákveðnum Turing vélum Gefin fyrri spurningunni, skrifaðu samhengi sem inniheldur svarið. Það geta verið 1 - 20 setningar. Umfjöllun:
Ákveðna Turing vél er ein grundvallar Turing vél, sem notar fastar reglur til að ákvarða framtíðar aðgerðir sínar. Líkindastýrð Turing vél er ákveðna Turing vél með auka birgði af handahófi bita. Hæfileikinn til að taka líkindaskilaðar ákvarðanir hjálpar algoritmum oft að leysa vandamál á skilvirkari hátt. Algoritmar sem nota handahófi bita eru kallaðir handahófi algoritmar. Óákveðin Turingvél er ákveðin Turingvél með aukinni eiginleika óákveðju, sem gerir Turingvél kleift að hafa margar mögulegar framtíðar aðgerðir frá tilteknu ástandi. Ein leið til að líta á óákveðni er sú að Turing vélin greinar í margar mögulegar tölvunarleiðir á hverju stigi, og ef hún leysir vandamálið í einhverjum af þessum greinum er sagt að hún hafi leyst vandamálið. Ljóst er að þetta líkan er ekki ætlað að vera líkamlega raunhæft líkan, það er bara fræðilega áhugavert abstrakt vél sem veldur sérstaklega áhugaverðum flækjustigum. Sjá dæmi um óákveðnaða reiknifræði.