#include <astl.h> #include <dfa.h> #include <language.h> #include <set_operation.h> #include <cursor.h> #include <neighbor.h> int main() { DFA_matrix<> A, B; // Constructions ccopy(A, dfirstc(neighborc(B, "word", 2))); DFA_matrix<> C; clone(C, dfirstc(notc(diffc(forwardc(A), forwardc(B))))); }