DFA for a^m b^n where m+n is even