next up previous contents
Next: Notes Up: Algorithms Previous: Complexity   Contents

Example

#include <astl.h>
#include <cursor.h>
#include <minimize.h>
#include <dfa.h>
#include <set_operation.h>
#include <cassert>
#include <iostream>

int main()
{
  DFA_map<> A;
  DFA_bin<> B;
  DFA_matrix<> C;
  brzozowski(A, B);
  assert(B.state_count() <= A.state_count() 
         && B.trans_count() <= A.trans_count());
  brzozowski(B, C);
  assert(isomorph(dfirst_markc(B), dfirst_mark(C)));
}


Vincent Le Maout 2003-07-08