cleaned up DFATest to reduce code duplication; also added inLanguage test for DFA1