DFA Simulating and Converse/Intersection