Datamaskiner sies å være deterministiske, noe som betyr at gitt samme inngang og starttilstand, vil en datamaskin alltid produsere den samme utgangen. Dette er i motsetning til ikke-deterministiske systemer som kvantedatamaskiner, som kan produsere forskjellige utganger for samme inngang og starttilstand.