digraph finite_automata {
 /* graph properties */
 graph [rankdir=LR label="hw5.fa"];
 node [style=filled fillcolor="#E0E0E0"];
 /* states */
 q0 [shape=circle];
 q1 [shape=circle];
 q2 [shape=circle];
 q3 [shape=circle];
 q4 [shape=doublecircle];
 r0 [shape=doublecircle];
 r1 [shape=doublecircle];
 r2 [shape=doublecircle];
 r3 [shape=doublecircle];
 r4 [shape=circle];
 s [shape=circle];
 invis_start [style=invis];
 /* transitions */
 invis_start -> s [label=" "];
 q0 -> q0 [label="0,1"];
 q0 -> q1 [label="1"];
 q1 -> q2 [label="1"];
 q2 -> q3 [label="0"];
 q3 -> q4 [label="0"];
 q4 -> q4 [label="0,1"];
 r0 -> r0 [label="0"];
 r0 -> r1 [label="1"];
 r1 -> r0 [label="1"];
 r1 -> r2 [label="0"];
 r2 -> r0 [label="0"];
 r2 -> r3 [label="1"];
 r3 -> r1 [label="1"];
 r3 -> r4 [label="0"];
 s -> q0 [label="~"];
 s -> r0 [label="~"];
}