The Free On-line Dictionary of Computing (19 January 2023):

DFA

   Deterministic Finite-state Automaton.  See Finite State
   Machine.