Utgangen fra en sekvensiell krets eller dataprogram er til enhver tid bestemt fullstendig av dens nåværende innganger og nåværende tilstand. Siden hvert binære minneelement bare har to mulige tilstander (0 eller 1) er det totale antallet forskjellige tilstander en krets kan anta endelig, og bestemt av antallet minneelementer. Dersom det er binære minneelementer kan en digital krets maksimalt ha 2 forskjellige tilstander. Begrepet stat er formalisert i en abstrakt matematisk beregningsmodell kalt en endelig tilstandsmaskin som brukes til å designe både sekvensielle digitale kretser og dataprogrammer.