digraph Automaton {
  rankdir = LR;
  0 [shape=circle];
  0 -> 5 [label="{0}"]
  0 -> 3 [label="{1}"]
  1 [shape=circle];
  1 -> 5 [label="{0}"]
  1 -> 2 [label="{1}"]
  2 [shape=doublecircle];
  2 -> 2 [label="{0,1}"]
  3 [shape=circle];
  3 -> 5 [label="{0}"]
  3 -> 1 [label="{1}"]
  4 [shape=circle];
  4 -> 5 [label="{0}"]
  4 -> 0 [label="{1}"]
  5 [shape=circle];
  initial [shape=plaintext,label=""];
  initial -> 5
  5 -> 5 [label="{0}"]
  5 -> 4 [label="{1}"]
}
