toDot for DFA. product construction for DFAs. tests for join