Файл:DkaMin.png

digraph finite_state_machine_11 {

      rankdir=LR;
      node [shape = doublecircle label = "F,G"] 5;
      node [shape = circle label = "A,B"] 1;
      node [shape = circle label = "H"] 2;
      node [shape = circle label = "C,D"] 3;
      node [shape = circle label = "E"] 4;
      
      1 -> 1 [ label = "1" ];
      1 -> 2 [ label = "0" ];
      2 -> 3 [ label = "0,1" ];
      3 -> 4 [ label = "0" ];
      3 -> 5 [ label = "1" ];
      4 -> 5 [ label = "0,1" ];
      5 -> 5 [ label = "0,1" ];
      
      null [shape = point];
      null -> 1;

}