Ein FSA wird als DFA (deterministic finite automaton) bezeichnet, wenn es für jeden Knoten des Zustandsgraphen jedes Zeichen des Alphabets höchstens einmal als Markierung einer wegführenden Kante auftritt. Beim obigen Beispiel eines FSA handelt es sich um einen DFA.