string w[4] = { "forward", "cursor", "code", "example" };
DFA_bin a;
tree_build(a, w, w + 4);
bfirst_cursor<queue_cursor<forward_cursor<DFA_bin<> > > >
first = bfirstc(a), last;
while (first != last) {
do
cout << "src " << first.src() << " letter " << first.letter()
<< " aim " << first.aim() << endl;
while (first.next_transition());
}