kan en dfa have mere end én endelig tilstand
Deterministisk finite automaton - Figuren illustrerer en deterministisk finite automaton ved hjælp af en stat diagram. I automaton, er der tre stater: S, S, og S (benævnes grafisk af cirkler). Automaton tager en finite sekvens af 0s og 1s som input. For hver stat er der en overgangspil, der fører ud til en næste tilstand for både 0 og 1. Ved at læse et symbol springer en DFA deterministisk fra en stat til en anden ved at følge overgangspilen. For eksempel, hvis automaton er i øjeblikket i tilstand S og det aktuelle input symbol er 1, så det deterministisk springer til at tilstand S. A DFA har en starttilstand (bemærktes grafisk af en pil kommer ind fra ingenting), hvor beregninger begynder, og et sæt af accept stater (bemærkes grafisk af en dobbelt cirkel), som hjælper med at definere, når en beregning er vellykket.