Der Begriff „deterministisch“ wird in der Informatik vor allem im Zusammenhang mit Algorithmen verwendet. Ein Algorithmus, soviel zur Erinnerung, ist eine Schritt-für-Schritt-Anleitung zur Lösung eines Problems, z.B. ein Kochrezept oder ein Computerprogramm.
Ein „deterministischer Algorithmus“ ist ein Algorithmus, der vorhersagbar abläuft. Damit ist gemeint, dass er bei gleichen Ausgangsbedingungen – oder, im Falle des Programms, bei gleichen Eingabewerten – immer dieselben Schritte durchläuft und dasselbe Ergebnis liefert. Ersteres ist dabei ein wichtiger Bestandteil der Definition: Ein Algorithmus könnte ja auch in zwei Durchläufen bei derselben Eingabe dasselbe Ergebnis liefern, aber unterschiedliche Schritte durchlaufen. In diesem Fall wäre er nicht deterministisch. Nur, wenn er sich bei gleichen Eingaben immer gleich verhält, wird er deterministisch genannt.
In der Informatik spricht man zuweilen auch von „Zuständen“ eines Algorithmus. Dies sind gewissermaßen die Ergebnisse der Zwischenschritte des Algorithmus. Ein deterministischer Algorithmus, der bei gleicher Eingabe immer dieselben Arbeitsschritte durchgeht, produziert natürlich auch immer dieselben Zwischenergebnisse oder Zustände.