Een eindige toestandsautomaat is een model voor het gedrag voor een systeem, bestaande uit een eindig aantal toestanden, overgangen tussen die toestanden en acties. Eindige toestandsautomaten worden toegepast in de theorie van berekenbaarheid in de wiskunde en in formele talen in de informatica. Eindige toestandsautomaten zijn gebaseerd op grafen en beschrijven een klasse van formele talen die reguliere talen heten.
Zie meer op Wikipedia.org...