Wat ass d'Basis vun enger probabilistescher an enger net-deterministescher Turingmaschinn? Et kann 1 - 20 Sätz sinn. Kontext:
Eng deterministesch Turingmaschinn ass déi einfachst Turingmaschinn, déi e fixen Set vu Regelen benotzt fir seng zukünfteg Aktiounen ze bestëmmen. Eng probabilistesch Turingmaschinn ass eng deterministesch Turingmaschinn mat enger extra Versuergung vu zoufällege Bits. D'Fäegkeet fir wahrscheinlech Entscheedungen ze treffen hëlleft Algorithmen oft Problemer méi effizient ze léisen. Algorithmen, déi zoufälleg Bits benotzen, ginn randomiséiert Algorithmen genannt. Eng net-deterministesch Turingmaschinn ass eng deterministesch Turingmaschinn mat enger zousätzlecher Feature vum Net-Determinismus, déi eng Turingmaschinn erlaabt verschidde méiglech zukünfteg Aktiounen aus engem bestëmmte Staat ze hunn. Eng Manéier fir den Net-Determinismus ze gesinn ass datt d'Turing Maschinn an all Schrëtt a vill méiglech Berechnungsweeër verzweigt, a wann et de Problem an engem vun dëse Branchen léist, gëtt gesot datt et de Problem geléist huet. Et ass kloer, datt dëst Modell net als physesch realisierbar Modell geduecht ass, et ass just eng theoretesch interessant abstrakt Maschinn, déi besonnesch interessant Komplexitéitsklassen entwéckelt. Fir Beispiller, kuckt net-deterministeschen Algorithmus.