Prototype

template <typename DFA1, typename DFA2>
void brzozowski(const DFA1 &A, DFA2 &B);