#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";
}