مخفف DFA
(deterministic finite automaton)
ماشین خودکار قطعی کراندار
