digraph finite_state_machine {
	rankdir=LR;
	start [shape = point, width="0", height="0"];
	node [shape = doublecircle]; 6;
	node [shape = circle, charset = UTF-8];
	start -> 0
	0 -> 1 [ label = "ε" ];
      0 -> 3 [ label = "a" ];
      1 -> 2 [ label = "a" ];
      1 -> 3 [ label = "b" ];
      1 -> 4 [ label = "ε" ];
      1 -> 5 [ label = "c" ];
      2 -> 5 [ label = "b" ];
      2 -> 6 [ label = "ε" ];
	3 -> 4 [ label = "ε" ];
      4 -> 5 [ label = "ε" ];
      5 -> 6 [ label = "a" ];
}