modify the FA to make clear that wether dfa and dfa is same