tilstandsendringer

Tilstandsendringer er overganger mellom tilstander i et system som skjer som respons på hendelser eller betingelser. Begrepet brukes i datateknikk, automasjonsfag, fysikk og prosessdesign, og har felles at systemet har et begrenset sett tilstander og skifter mellom dem etter regler.

En vanlig modell er en tilstandsmaskin (finite state machine, FSM). Den består av tilstander, hendelser, en overgangsfunksjon som kobler tilstander videre, en starttilstand og ofte aksept- eller slutt-tilstander. I en deterministisk maskin er det alltid én mulig neste tilstand for en gitt tilstand og inngang; i ikke-deterministiske maskiner kan flere kandidater finnes. Noen modeller har epsilon-overganger, som går uten ytre hendelse.

Tilstandsmaskiner kan vises som tilstandsdiagrammer eller statecharts, og brukes til å beskrive brukergrensesnittflyt, protokoller og kontrollsystemer, samt ved modellering og verifikasjon av programvare og prosesser. Innen fysikk beskriver tilstandsendringer også faser av materie under varierende forhold.

Verifikasjon og analyse av tilstandsendringer inkluderer modellkontroll, formell testing og minimering av maskiner for å redusere kompleksitet og sikre ønsket atferd. Tilstandsendringer gir et verktøy for å beskrive dynamikk der historikk og rekkefølge av hendelser er viktig.