public FA GetFA() { var nfa1 = Expression1.GetFA(); var nfa2 = Expression2.GetFA(); var cross = nfa1.ToDfa().Difference(nfa2.ToDfa()); return(cross); }