Redigerer Tilstand (informatikk)

I [[informatikk]] kan et system ha '''tilstander''' dersom det er utformet for å huske tidligere hendelser eller brukerinteraksjoner,<ref>{{Kilde www|url=http://whatis.techtarget.com/definition/stateless|tittel=What is stateless? - Definition from WhatIs.com}}</ref> informasjonen som huskes av systemet kalles '''tilstanden''' til systemet.

[[Mengde|Mengden]] av tilstander et system kan oppta er kjent som dets [[tilstandsrom]]. I et [[diskret system]] er tilstandsrommet [[Tellbar|tellbart]] og ofte [[Endelig mengde|endelig]]. Systemets interne oppførsel eller interaksjon med omgivelsene består av separate individuelle handlinger eller hendelser, som for eksempel å akseptere innputt eller produsere utputt, som kan eller ikke kan føre til at systemet endrer tilstand. Eksempler på slike systemer er [[Logisk port|digitale logiske]] kretser og komponenter, [[Automatteori|automata]] og [[Formelt språk|formelle språk]], [[Dataprogram|dataprogrammer]] og [[Datamaskin|datamaskiner]]. 

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.<ref name="Harris">{{Kilde bok|url=https://books.google.com/books?id=5X7JV5-n0FIC&q=state&pg=PA115|tittel=Digital Design and Computer Architecture|etternavn=Harris|fornavn=David Money|etternavn2=Harris|fornavn2=Sarah L.|utgiver=Morgan Kaufmann|isbn=978-0123704979|utgivelsessted=USA}}</ref>

== Endelig tilstandsmaskin ==
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 [[Bit|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 ''N'' binære minneelementer kan en digital krets maksimalt ha 2<sup>''N''</sup> 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.

== Se også ==
* [[Hendelseslager]], type database for å lagre hendelser

== Referanser ==
<references/>

[[Kategori:Kognisjon]]