#include <astl.h>
#include <dfa.h>
#include <cursor.h>
#include <dot.h>
#include <iostream>
int main()
{
DFA_matrix<> A, B;
dot(std::cout, dfirstc(A));
DFA_dot out(std::cout);
out.state_fontsize(18); // customize display
dot(out, dfirst_markc(B)); // if B is cyclic
}