Prototype

template <typename DFA, typename NFA>
void reverse(const DFA &A, NFA &B);