Simulates a DFA using two text input files or produces an inverted homomorphism of a DFA using two text input files