add empty DFA-related files