theory) Initialism of deterministic finite-state automaton.