Endelig tilstandsmaskin

En endelig tilstandsmaskin (også kalt en endelig tilstandsautomat) er en matematisk modell som brukes til å designe dataprogrammer og digitale 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.

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

 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ære utrykk, for å definere hvordan et stykke tekst kan bli identifisert ved hjelp av enkle symboler.