changed name from FA to DFA