digraph finite_automata {
 /* graph properties */
 graph [rankdir=LR label="and.fa"];
 node [style=filled fillcolor="#E0E0E0"];
 /* states */
 one_even [shape=doublecircle];
 one_odd [shape=circle];
 two_even [shape=circle];
 two_odd [shape=circle];
 zero_even [shape=circle];
 zero_odd [shape=circle];
 invis_start [style=invis];
 /* transitions */
 invis_start -> zero_even [label=" "];
 one_even -> one_odd [label="1"];
 one_even -> two_even [label="0"];
 one_odd -> one_even [label="1"];
 one_odd -> two_odd [label="0"];
 two_even -> two_odd [label="1"];
 two_even -> zero_even [label="0"];
 two_odd -> two_even [label="1"];
 two_odd -> zero_odd [label="0"];
 zero_even -> one_even [label="0"];
 zero_even -> zero_odd [label="1"];
 zero_odd -> one_odd [label="0"];
 zero_odd -> zero_even [label="1"];
}