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