digraph finite_automata {
 /* graph properties */
 graph [rankdir=LR label="mod_2_3.fa"];
 node [style=filled fillcolor="#E0E0E0"];
 /* states */
 a [shape=doublecircle];
 b [shape=circle];
 c [shape=doublecircle];
 d [shape=doublecircle];
 e [shape=doublecircle];
 f [shape=circle];
 invis_start [style=invis];
 /* transitions */
 invis_start -> a [label=" "];
 a -> b [label="0,1"];
 b -> c [label="0,1"];
 c -> d [label="0,1"];
 d -> e [label="0,1"];
 e -> f [label="0,1"];
 f -> a [label="0,1"];
}