digraph finite_automata {
 /* graph properties */
 graph [rankdir=LR label="zeros_1mod3.fa"];
 node [style=filled fillcolor="#E0E0E0"];
 /* states */
 evenand0 [shape=circle];
 evenand1 [shape=circle];
 evenand2 [shape=doublecircle];
 oddand0 [shape=circle];
 oddand1 [shape=doublecircle];
 oddand2 [shape=circle];
 invis_start [style=invis];
 /* transitions */
 invis_start -> evenand0 [label=" "];
 evenand0 -> evenand1 [label="1"];
 evenand0 -> oddand0 [label="0"];
 evenand1 -> evenand2 [label="1"];
 evenand1 -> oddand1 [label="0"];
 evenand2 -> evenand0 [label="1"];
 evenand2 -> oddand2 [label="0"];
 oddand0 -> evenand0 [label="0"];
 oddand0 -> oddand1 [label="1"];
 oddand1 -> evenand1 [label="0"];
 oddand1 -> oddand2 [label="1"];
 oddand2 -> evenand2 [label="0"];
 oddand2 -> oddand0 [label="1"];
}