Un algoritm probabilistic este un algoritm care presupune accesarea unui generator de numere aleatoare în anumite etape ale activității sale pentru a economisi timp în funcționare prin înlocuirea fiabilității absolute a rezultatului cu fiabilitatea cu o anumită probabilitate.
Începutul teoriei calitative a algoritmilor probabilistici a fost pus în 1956, [1] când s-a stabilit pentru prima dată că prin intermediul algoritmilor probabilistici este posibil să se calculeze exact aceleași funcții ca prin algoritmi convenționali, determiniști.
În 1974, s-a demonstrat că este posibil să se construiască un limbaj și o funcție astfel încât pentru oricare să existe o mașină Turing probabilistică care recunoaște cu probabilitate în timp, iar dacă este timpul de rulare al unei mașini Turing deterministe care recunoaște , atunci este valabil pentru o mulțime infinită [2] .