[DFA.gif]