The Free On-line Dictionary of Computing (30 December 2018):

DFA

   Deterministic Finite-state Automaton.  See Finite State
   Machine.