Redigerer Endelig tilstandsmaskin

{{Kildeløs|Helt uten kilder.|dato=10. okt. 2015}}
[[Fil:DFAexample.svg|thumb|En representasjon av en endelig tilstandsmaskin. Denne maskinen aksepterer alle [[binært tallsystem|binære tall]] som har et like antall nuller (S1 er aksepterende tilstand).]]

En '''endelig tilstandsmaskin''' (også kalt en '''endelig tilstandsautomat''') er en matematisk modell som brukes til å designe [[dataprogram]]mer og [[digital]]e logiske kretser. Den kan ses på som en abstrakt maskin som kan befinne seg i én av et endelig antall tilstander. En utløsende hendelse eller betingelse kan få tilstandsmaskinen til å gå fra en tilstand til en annen, noe som kalles en transisjon. En endelig tilstandsmaskin defineres av en liste med mulige tilstander den kan gå til fra hver enkelt tilstand, og den utløsende betingelsen for hver transisjon.

{{stubb}}

== Vanlig bruk av Endelige tilstandsmaskiner ==
En enkel liste av kjent bruk av endelige tilstandsmaskiner:

* [[Turingmaskin|Turing maskiner]], til å definere et program ved bruk av tilstandsmaskiner. Vanligvis blir tabeller brukt til å definere programmene med disse er ekvivalente til endelige tilstands maskiner.
* [[Regulært uttrykk|Regulære utrykk]], for å definere hvordan et stykke tekst kan bli identifisert ved hjelp av enkle symboler.
{{Autoritetsdata}}

[[Kategori:Endelig tilstandsmaskin| ]]