add comments for DFA