#include <astl.h> #include <dfa.h> #include <language.h> #include <set_operation.h> #include <cursor.h> #include <string> #include <iostream> int main() { DFA_matrix<> A, B; // Constructions std::string w = "word"; if (is_in(w.begin(), w.end(), intersectionc(forwardc(A), forwardc(B)))) std::cout << "recognized"; }