Файл:Finite state machine 2.png

digraph finite_state_machine_2 {

      rankdir=LR;
      node [shape = doublecircle label = ""]; LR_1 LR_2;
      node [shape = circle fillcolor = lightgrey label = ""] LR_3;
      node [shape = circle label = ""] LR_0;
      {rank=same; "LR_1" "LR_2"}
      LR_0 -> LR_1 [ label = "a" ];
      LR_0 -> LR_2 [ label = "b" ];
      LR_1 -> LR_2 [ label = "b" ];
      LR_2 -> LR_1 [ label = "a" ];
      LR_1 -> LR_3 [ label = "a" ];
      LR_2 -> LR_3 [ label = "b" ];
      LR_3 -> LR_3 [ label = "a,b" ];
      
      null [shape = point];
      null -> LR_0;

}