Copying

#include <astl.h>
#include <dfa.h>
#include <language.h>
#include <cursor.h>
#include <ccopy.h>
#include <iostream>

int main()
{
  DFA_matrix<> A, B;
  // Construction...
  DFA_matrix<>::state_type i = ccopy(A, dfirstc(B));
  A.initial(i);

  DFA_matrix<> C, D;
  // Construction...
  C.initial(clone(C, dfirstc(D)));
}