Utgangen fra en digital krets eller et deterministisk dataprogram vil til enhver tid være helt og holdent bestemt av de på det tidspunktet innganger og systemets tilstand.